Many of the innovations from Midori were included in other projects. The project may have “failed” but it was far from a failure.
Considering you have absolutely no proof of that it seems rather disrespectful to act like that's a fact rather than your supposition.
The fact that you think a cancelled project means it is the same as DEC's "No Output" team likely means you don't understand what the "No Output" team even was at DEC or the implication for the people within it.
You absolutely do need to present proof of what you're saying, because it is a serious charge for both Microsoft and those employees alike.
Async/await, TPL, Span<>, blittable structs, safe stackalloc, .NET Native, and a couple of other minor features come from M# (System C#) usage.