Skip to content
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

Can't use native type to parametarize a role / typecheck failure when using that type #1834

Open
zoffixznet opened this issue May 16, 2018 · 0 comments

Comments

Projects
None yet
2 participants
@zoffixznet
Copy link
Contributor

commented May 16, 2018

m: role Z[::P1] { method new(P1 $x) { dd $x} }; class :: does Z[int] {}.new: my int $ = 42
rakudo-moar 5ce24929f: OUTPUT: «Type check failed in binding to parameter '$x'; expected int but got Int (42)␤  in method new at <tmp> line 1␤  in block <unit> at <tmp> line 1␤␤»

@zoffixznet zoffixznet self-assigned this May 16, 2018

@zoffixznet zoffixznet removed the CaR Grant label Jul 28, 2018

@zoffixznet zoffixznet removed their assignment Jul 28, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.