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