{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"Some("}]}
        Some(
        let display_target = self.def.krate(db).to_display_target(db);
            orig_range_with_focus_r(