aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-03-01 22:00:41 +0100
committerMartin Odersky <odersky@gmail.com>2017-03-01 22:08:17 +0100
commit58b71ca50ded400efa92ac8d92f4378844baaf7d (patch)
treedd0814ee5d73996ef6e91e7d4e12c82af883d80b /compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala
parente01ca04c28e242a5f602dffc28a1b1eae358ecaf (diff)
downloaddotty-58b71ca50ded400efa92ac8d92f4378844baaf7d.tar.gz
dotty-58b71ca50ded400efa92ac8d92f4378844baaf7d.tar.bz2
dotty-58b71ca50ded400efa92ac8d92f4378844baaf7d.zip
Fix handling of dependent method types
Need to use fresh PolyParams instead of WildcardTypes if constraint is committable.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala')
0 files changed, 0 insertions, 0 deletions