SLS определяет синтаксис параметра типа как
TypeParamClause ::= ‘[’ VariantTypeParam {‘,’ VariantTypeParam} ‘]’
FunTypeParamClause::= ‘[’ TypeParam {‘,’ TypeParam} ‘]’
VariantTypeParam ::= {Annotation} [‘+’ | ‘-’] TypeParam
TypeParam ::= (id | ‘_’) [TypeParamClause] [‘>:’ Type] [‘<:’ Type] {‘<%’ Type} {‘:’ Type} {‘<%’ Type} {‘<%’ Type}
где мы видим >:
, <:
, <%
, <%
, :
как разрешенные зарезервированные имена в предложении параметра типа. Есть ли способ использовать обобщенное ограничение типа символические имена <:<
, =:=
в предложении параметра типа, чтобы
def f[T =:= 42] = ???
расширится до
def f[T](implicit ev: T =:= 42) = ???
похоже на то, как контекст связан
def f[T: Numeric] = ???
расширяется до
def f[T](implicit ev: Numeric[T]) = ???