Skip to content

Instantly share code, notes, and snippets.

@aborg0
Created November 15, 2009 23:23
Show Gist options
  • Save aborg0/235559 to your computer and use it in GitHub Desktop.
Save aborg0/235559 to your computer and use it in GitHub Desktop.
package Playground
import javax.annotation.Nonnull
import javax.annotation.Nonnegative
import javax.annotation.CheckReturnValue
import edu.umd.cs.findbugs.annotations.DefaultAnnotation
/**
* User: root
* Date: 15-Nov-2009
* Time: 22:50:45
*/
@DefaultAnnotation(value=Array(classOf[Nonnegative], classOf[CheckReturnValue]))
class X {
def x(m: List[Any @Nonnull]) = ()
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment