Use ObligationCtxt in fully_normalize
#103862
Merged
ObligationCtxt in fully_normalize
#103862