Tearing issue is mentioned in this issue https://github.com/dotnet/csharplang/issues/7016 but not in proposal