DP
Size: a a a
DP
с#
D
с#
AK
D
class Fail extends Exception
def foo(x: Boolean): Int throws Fail =
if x then 1 else raise(Fail())
IP
class Fail extends Exception
def foo(x: Boolean): Int throws Fail =
if x then 1 else raise(Fail())
Kd
IP
AA
AA
AA
(
class Fail extends Exception
def foo(x: Boolean): Int throws Fail =
if x then 1 else raise(Fail())
throws
это тайп-лямбда, а не часть синтаксиса(
erased class CanThrow[-E <: Exception]
infix type throws[R, +E <: Exception] = CanThrow[E] ?=> R
(
КР
erased class CanThrow[-E <: Exception]
infix type throws[R, +E <: Exception] = CanThrow[E] ?=> R
(
IP