{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// `-Zno-steal-thir` is on.
    /// Fetch the THIR for a given body. The THIR body gets stolen by unsafety checking unless
    query thir_body(key: LocalDefId) -> Result<(&'tcx Steal<thir::Thir<'tcx>>, thir::ExprId), ErrorGuaranteed> {