{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
    // in borrowck cycles if WF requires looking into an opaque hidden type.
    // We do this check here and not during `mir_promoted` because that may result
    let root = tcx.typeck_root_def_id(def.to_def_id());