{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"assert!(!tcx.is_typeck_child(def.to_def_id()));"}]}
    assert!(!tcx.is_typeck_child(def.to_def_id()));
) -> Result<&ConcreteOpaqueTypes<'_>, ErrorGuaranteed> {
    let (input_body, _) = tcx.mir_promoted(def);