We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 366137d commit f3e0170Copy full SHA for f3e0170
docs/docs/reference/metaprogramming/erased-terms.md
@@ -171,11 +171,11 @@ final class On extends State
171
final class Off extends State
172
173
class Machine[S <: State] {
174
- inline def turnOn() <: Machine[On] = inline erasedValue[S] match {
+ transparent inline def turnOn(): Machine[On] = inline erasedValue[S] match {
175
case _: Off => new Machine[On]
176
case _: On => error("Turning on an already turned on machine")
177
}
178
- inline def turnOff() <: Machine[Off] = inline erasedValue[S] match {
+ transparent inline def turnOff(): Machine[Off] = inline erasedValue[S] match {
179
case _: On => new Machine[Off]
180
case _: Off => error("Turning off an already turned off machine")
181
0 commit comments