diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2014-10-14 20:55:55 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2014-11-11 08:47:44 +0100 |
commit | 629dae0d00a51c5bb097d968280238da72d01f91 (patch) | |
tree | 6388efbfe5ec30a0a1abc80d93924b6ae8b1a2e8 /tests | |
parent | 892f7bdb4c35f701f7d925404ac55ebaa5566ae0 (diff) | |
download | dotty-629dae0d00a51c5bb097d968280238da72d01f91.tar.gz dotty-629dae0d00a51c5bb097d968280238da72d01f91.tar.bz2 dotty-629dae0d00a51c5bb097d968280238da72d01f91.zip |
Fix subtyping checks involving ThisType and PolyParam
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/subtyping.scala | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/pos/subtyping.scala b/tests/pos/subtyping.scala new file mode 100644 index 000000000..a5e156780 --- /dev/null +++ b/tests/pos/subtyping.scala @@ -0,0 +1,6 @@ +class A { + def test1(): Unit = { + implicitly[this.type <:< this.type] + implicitly[this.type <:< A] + } +} |