{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"hir_trait_ref:"}]}
    hir_trait_ref: &Option<hir::TraitRef<'_>>,
    hir_self_ty: &hir::Ty<'_>,
) -> Result<(), ErrorGuaranteed> {