{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"hidden_ty:"}]}
        hidden_ty: <Self::Interner as Interner>::Ty,
        param_env: <Self::Interner as Interner>::ParamEnv,
        goals: &mut Vec<Goal<Self::Interner, <Self::Interner as Interner>::Predicate>>,