The prior spec explained how types and ref kinds flow, but now we're adding two parts: 1. `scoped` flows 2. `[UnscopedRef]` flows (see https://github.com/dotnet/roslyn/pull/63787) That second part probably needs to be confirmed with LDM. Relates to test plan https://github.com/dotnet/roslyn/issues/59194 (ref fields)