{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"\"{ty:?}"}]}
                "{ty:?} should not have been constrained via normalization",
                infcx.resolve_vars_if_possible(ty) == ty && ty.is_ty_var(),
                ty = infcx.resolve_vars_if_possible(ty)