{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"param_env:"}]}
        param_env: I::ParamEnv,
        variables: &'a mut Vec<I::GenericArg>,
    ) -> (I::ParamEnv, HashMap<I::GenericArg, usize>, Vec<CanonicalVarKind<I>>) {