diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-12-20 11:32:15 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2016-01-04 11:20:42 +0100 |
commit | f0c6814a61768155d3e8c08093f365fce6360527 (patch) | |
tree | f84befaabcd01226135f955587b14bb718734136 /src/dotty/tools/dotc/core/Types.scala | |
parent | a1a2961a3aba856f7753005541e439636ff1c5b6 (diff) | |
download | dotty-f0c6814a61768155d3e8c08093f365fce6360527.tar.gz dotty-f0c6814a61768155d3e8c08093f365fce6360527.tar.bz2 dotty-f0c6814a61768155d3e8c08093f365fce6360527.zip |
Allow comparisons between TypeRefs and ThisTypes.
Motivation comes from Linker:
List$.canBuildFrom is implemented as
ReusableCBF.asInstanceOf[GenericCanBuildFrom[A]]
static type of field ReusableCBF here is
TypeRef(TypeRef(List$), GenericCanBuildFrom[Nothing])
but the ident ReusableCBF gets type
TypeRef(ThisType(List$), GenericCanBuildFrom[Nothing])
We already permit comparisons between static TermRefs and ThisTypes,
this change additionally allows TypeRefs to static modules to
become subtypes of ThisTypes of static modules.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
0 files changed, 0 insertions, 0 deletions