path: root/test/files/run/t4700.check

scala> import scala.annotation.showAsInfix
import scala.annotation.showAsInfix

scala> class &&[T,U]
defined class $amp$amp

scala> def foo: Int && Boolean = ???
foo: &&[Int,Boolean]

scala> @showAsInfix class ||[T,U]
defined class $bar$bar

scala> def foo: Int || Boolean = ???
foo: Int || Boolean

scala> @showAsInfix class &&[T, U]
defined class $amp$amp

scala> def foo: Int && Boolean && String = ???
foo: Int && Boolean && String

scala> def foo: Int && (Boolean && String) = ???
foo: Int && (Boolean && String)

scala> @showAsInfix type Mappy[T, U] = Map[T, U]
defined type alias Mappy

scala> def foo: Int Mappy (Boolean && String) = ???
foo: Int Mappy (Boolean && String)

scala> @showAsInfix class &:[L, R]
defined class $amp$colon

scala> def foo: Int &: String = ???
foo: Int &: String

scala> def foo: Int &: Boolean &: String = ???
foo: Int &: Boolean &: String

scala> def foo: (Int || String) &: Boolean = ???
foo: (Int || String) &: Boolean

scala> def foo: Int || (Boolean &: String) = ???
foo: Int || (Boolean &: String)

scala> :quit