pub fn mir_promoted() -> DepKindStruct