{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"ty::ParamEnv::empty(),"}]}
                ty::ParamEnv::empty(),
                &cause,
                infcx.resolve_vars_if_possible(ty),