{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"opaque_types:"}]}
        opaque_types: Vec<(ty::OpaqueTypeKey<I>, I::Ty)>,
        goal: Goal<I, I::Predicate>,
    ) -> (Vec<I::GenericArg>, CanonicalInput<I, I::Predicate>) {