This is only used for lifetime dependence diagnostics. Fix a couple of obvious problems with data flow propagation that crept in during "cleanup" because no unit tests existed.
Function
AST.Type
AST.CanonicalType
SIL.Type