diff --git a/midas/checker/registry.py b/midas/checker/registry.py index 8259b93..e52fb40 100644 --- a/midas/checker/registry.py +++ b/midas/checker/registry.py @@ -397,6 +397,9 @@ class TypesRegistry: ) return self.lookup_member(base, member_name) + case ConstraintType(type=base): + return self.lookup_member(base, member_name) + case UnknownType(): return UnknownType()