From 5e5f5bc89a5bcfc31770c4c19b2d3623a9650527 Mon Sep 17 00:00:00 2001 From: Eugene Burmako Date: Tue, 21 Aug 2012 18:27:37 +0200 Subject: adds weak_<:< to the API quite a fundamental method to be left to be implemented manually by the users of the reflection API --- src/reflect/scala/reflect/api/Types.scala | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/reflect/scala/reflect/api/Types.scala b/src/reflect/scala/reflect/api/Types.scala index ebaedd7ac3..bdcaadfbda 100644 --- a/src/reflect/scala/reflect/api/Types.scala +++ b/src/reflect/scala/reflect/api/Types.scala @@ -66,6 +66,10 @@ trait Types extends base.Types { self: Universe => /** Does this type conform to given type argument `that`? */ def <:< (that: Type): Boolean + /** Is this type a weak subtype of that type? True also for numeric types, i.e. Int weak_<:< Long. + */ + def weak_<:<(that: Type): Boolean + /** Is this type equivalent to given type argument `that`? */ def =:= (that: Type): Boolean -- cgit v1.2.3