Marker for native methods.
@native def f(x: Int, y: List[Long]): String = ...
@native method is compiled to the platform's native method, while discarding the method's body (if any). The body will be type checked if present.
A method marked @native must be a member of a class, not a trait (since 2.12).