[perl #125537] captured type applied as constraint in child scope missing methods

[Brian S. Julin]

# New Ticket Created by  "Brian S. Julin" 
# Please include the string:  [perl #125537]
# in the subject line of all future correspondence about this issue. 
# <URL: https://rt.perl.org/Ticket/Display.html?id=125537 >


$ perl6 -e 'sub f (::T $a) { my T $b; { T.WHICH.say; $b.WHICH.say } }; f(1);'
Int
Int
$ perl6 -e 'sub f (::T $a) { { my T $b; T.WHICH.say; $b.WHICH.say } }; f(1);'
Int
Method 'WHICH' not found for invocant of class 'T'
  in sub f at -e:1
  in block <unit> at -e:1

$ perl6 -e 'sub f (::T $a) { my T $b; { T.say; $b.say } }; f(1);'
(Int)
(Int)

$ perl6 -e 'sub f (::T $a) { { my T $b; T.say; $b.say } }; f(1);'
(Int)
Method 'say' not found for invocant of class 'T'
  in sub f at -e:1
  in block <unit> at -e:1

This is the root cause of commit 3d645fe4/7f9634764 breaking
:(::T $a, T $b).perl