syntax_data: {"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"(ty::Alias(..),"}]}
source_snippet:         (ty::Alias(..), ty::Infer(ty::TyVar(_))) | (ty::Infer(ty::TyVar(_)), ty::Alias(..))
context_before:         // We don't expect `TyVar` or `Fresh*` vars at this point with lazy norm.
context_after:             if infcx.next_trait_solver() =>