{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":")"}]}
    ) -> (Vec<I::GenericArg>, CanonicalInput<I, I::Predicate>) {
        opaque_types: Vec<(ty::OpaqueTypeKey<I>, I::Ty)>,
        let mut orig_values = Default::default();