add comment

This commit is contained in:
Ibraheem Ahmed 2025-12-22 18:23:54 -05:00 committed by Micha Reiser
parent 14628a29ef
commit 5556ebd816
No known key found for this signature in database

View file

@ -1867,6 +1867,11 @@ impl<'db> SpecializationBuilder<'db> {
}
(formal, Type::ProtocolInstance(actual_protocol)) => {
// TODO: This will only handle protocol classes that explicit inherit
// from other generic protocol classes by listing it as a base class.
// To handle classes that implicitly implement a generic protocol, we
// will need to check the types of the protocol members to be able to
// infer the specialization of the protocol that the class implements.
if let Some(actual_nominal) = actual_protocol.as_nominal_type() {
return self.infer_map_impl(
formal,