Avoid inferring sorts during desugaring. Instead, defer all inference to well-formedness checking. This breaks the dependency on having all generics desugared before items can be desugared.
This change makes desugaring purely "syntactic". All "semantic" analysis is performed in fhir.
Avoid inferring sorts during desugaring. Instead, defer all inference to well-formedness checking. This breaks the dependency on having all generics desugared before items can be desugared.
This change makes desugaring purely "syntactic". All "semantic" analysis is performed in
fhir.