{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // that allow the trait solver to just error out instead of cycling.
        // Instead we invoke an obligation context manually, and provide the opaque type inference settings
        let freeze_def_id = cx.tcx.require_lang_item(LangItem::Freeze, cx.body.span);