New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
native type constraint inconsistently applied #4562
Comments
From zefram@fysh.orgBecause a type object is an (undefined) instance of that type, it can $ ./perl6 -e 'sub aa (Mu:U ::T) { my T $a = T; say $a; }; aa(Any); aa(Int); aa(int)' But if we try to do the same thing without the indirection of the $ ./perl6 -e 'my Any $a = Any; say $a; my Int $b = Int; say $b; my int $c = int; say $c' This indirection shouldn't make such a visible difference. Obviously Another inconsistency arises in how assignment of a boxed value to the $ ./perl6 -e 'sub aa (Mu:U ::T) { my T $a = 3; say $a.WHAT; }; aa(Any); aa(Int); aa(int)' -zefram |
From @AlexDanielStill reproducible (2017.11,HEAD(e5b660e)) On 2015-09-20 09:07:10, zefram@fysh.org wrote:
|
The RT System itself - Status changed from 'new' to 'open' |
Migrated from rt.perl.org#126116 (status was 'open')
Searchable as RT126116$
The text was updated successfully, but these errors were encountered: