summaryrefslogtreecommitdiff
path: root/test/files/neg/implicit-ambiguous-2.check
blob: 4a10b0dd65594918de9282d0ced210bae595253b (plain) (blame)
1
2
3
4
implicit-ambiguous-2.scala:10: error: Could not prove Int =!= Int
  implicitly[Int =!= Int]
            ^
one error found