Enums

Functions

Collect Components for all the substs of parent.
Push onto out all the things that must outlive 'a for the condition ty0: 'a to hold. Note that ty0 must be a fully resolved type.