{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":")"}]}
    ) -> (I::ParamEnv, HashMap<I::GenericArg, usize>, Vec<CanonicalVarKind<I>>) {
        param_env: I::ParamEnv,
        if !param_env.has_type_flags(NEEDS_CANONICAL) {