{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"self.structurally_normalize_term(param_env,"}]}
        self.structurally_normalize_term(param_env, ty.into()).map(|term| term.expect_ty())
    ) -> Result<I::Ty, NoSolution> {
    }