diff options
| author | Paul Phillips <paulp@improving.org> | 2012-08-23 13:26:07 -0700 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2012-08-23 13:26:07 -0700 |
| commit | 811be49d3e9a45ef95df6132754e11360b19d917 (patch) | |
| tree | 5ed87732ffdc93b1e9997065a585a6ed955a93fd | |
| parent | 6d20fb91a909ecb4256f8571e1586ce9e957cf06 (diff) | |
| parent | 5e5f5bc89a5bcfc31770c4c19b2d3623a9650527 (diff) | |
| download | scala-811be49d3e9a45ef95df6132754e11360b19d917.tar.gz scala-811be49d3e9a45ef95df6132754e11360b19d917.tar.bz2 scala-811be49d3e9a45ef95df6132754e11360b19d917.zip | |
Merge pull request #1178 from scalamacros/topic/weak-subtype
adds weak_<:< to the API
| -rw-r--r-- | src/reflect/scala/reflect/api/Types.scala | 4 |
1 files changed, 4 insertions, 0 deletions
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 |