19883, "bradcray", "Tertiary methods have access to more symbols than intended", "2022-05-26T17:59:21Z"
Summary of Problem
When defining a tertiary method on a type t today, its body incorrectly gains access to symbols that are visible within the scope where t is defined. We believe this was an accidental offshoot in the implementation and not intended, and should close this gap.