{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"trait_ref.trait_def_id().unwrap_or_else(||"}]}
            trait_ref.trait_def_id().unwrap_or_else(|| FatalError.raise()),
            trait_ref.path.span,
            self_ty,