Skip to content

Commit

Permalink
Repro 2
Browse files Browse the repository at this point in the history
  • Loading branch information
@olafurpg
olafurpg committed Apr 7, 2017
1 parent cf26eeb commit eae920a
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 4 deletions.
2 changes: 2 additions & 0 deletions tests/pos/packageobjecttypealias/Hello.scala
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,7 @@ package bar
import scala.language.higherKinds
class Fix[F[_]](unfix: F[Fix[F]])
object DocTree {
type StreamTree[T] = Stream[Int]
type DocTree = Fix[StreamTree]
def docTree(s: StreamTree[DocTree]): DocTree = new Fix(s)
}
4 changes: 0 additions & 4 deletions tests/pos/packageobjecttypealias/package.scala
View file

This file was deleted.

1 comment on commit eae920a

@olafurpg
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

scalac: OK
dotc:

-- [E007] Type Mismatch Error: Hello.scala -------------------------------------
7 |  def docTree(s: StreamTree[DocTree]): DocTree = new Fix(s)
  |                                                         ^
  |                       found:    scala.collection.immutable.Stream[Int](s)
  |                       required: scala.collection.immutable.Stream[Int]
  |

one error found

Please sign in to comment.