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