Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala.<:<
See the<:< companion class
Members list
If A <: B
and B <: A
, then A = B
(subtyping is antisymmetric)
A =:= A
for all A
(equality is reflexive).
A =:= A
for all A
(equality is reflexive). This also provides implicit views A <:< B
when A <: B
, because (A =:= A) <: (A <:< A) <: (A <:< B)
.
Attributes
-
Source
-
typeConstraints.scala