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