aboutsummaryrefslogtreecommitdiff
path: root/build.sbt
diff options
context:
space:
mode:
authorGeorgi Krastev <joro.kr.21@gmail.com>2017-11-29 19:53:01 +0100
committerGeorgi Krastev <joro.kr.21@gmail.com>2017-11-29 20:05:50 +0100
commitd8fb2f5ca2edc1a34ed7831f06d5eca08ba4989c (patch)
tree879238ab17d24e05457d158e6af76879a53aea5a /build.sbt
parent93ff9742cf8cd9f2c60986ff4f7af8d24e268b1f (diff)
downloadmagnolia-d8fb2f5ca2edc1a34ed7831f06d5eca08ba4989c.tar.gz
magnolia-d8fb2f5ca2edc1a34ed7831f06d5eca08ba4989c.tar.bz2
magnolia-d8fb2f5ca2edc1a34ed7831f06d5eca08ba4989c.zip
Existentially abstract unbound subtype parameters
That happens when the subtype of a sealed trait has more type parameters than its parent. When those extra type parameters are covariant they are replaced by their upper bounds, otherwise they are existentially quantified.
Diffstat (limited to 'build.sbt')
0 files changed, 0 insertions, 0 deletions