diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-12-13 11:49:14 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-12-13 11:49:14 +0100 |
| commit | d65587ae74cfe2dc7601f57e163b7e22bf89582a (patch) | |
| tree | b0a724dbc22c3c85869f25d16003b5afd731d987 /src/dotty/tools/dotc/core/Types.scala | |
| parent | c4675594fd25779641c55ccfc0392f03b5ca8207 (diff) | |
| download | dotty-d65587ae74cfe2dc7601f57e163b7e22bf89582a.tar.gz dotty-d65587ae74cfe2dc7601f57e163b7e22bf89582a.tar.bz2 dotty-d65587ae74cfe2dc7601f57e163b7e22bf89582a.zip | |
Modification of subtype tests of abstract types.
We ran into a flase path in a situation like this before:
A <: B where
Type A: A type alias that refers to a constrainable PolyParam P.
Type B: An abstract type with bounds L..H.
Previously, we would have instantiated P to L, whereas instantiating to B would be the right choice.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions