Skip to content

docs still mention erased #12034

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

Closed
johnynek opened this issue Apr 8, 2021 · 0 comments · Fixed by #12037
Closed

docs still mention erased #12034

johnynek opened this issue Apr 8, 2021 · 0 comments · Fixed by #12037

Comments

@johnynek
Copy link

johnynek commented Apr 8, 2021

http://dotty.epfl.ch/docs/reference/metaprogramming/inline.html#erasedvalue

see:

erased def erasedValue[T]: T = ???

The erasedValue function pretends to return a value of its type argument T. In fact, it would always raise a NotImplementedError exception when called. But the function can in fact never be called, since it is declared erased, so can only be used at compile-time during type checking.

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Apr 9, 2021
michelou pushed a commit to michelou/scala3 that referenced this issue Apr 12, 2021
michelou pushed a commit to michelou/scala3 that referenced this issue Apr 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants