diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-27 15:27:49 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-02-07 17:31:54 +0100 |
commit | 43ee240c3db3820cecb23ab22c93b1df2412cdc8 (patch) | |
tree | c0715e8726a71c7b62956da171496bd27f0b9322 /src | |
parent | 1f8b5691dabaae336c3c3f568b303eb24e783494 (diff) | |
download | dotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.tar.gz dotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.tar.bz2 dotty-43ee240c3db3820cecb23ab22c93b1df2412cdc8.zip |
Fix of #329.
Overriding pairs needs to match ExprTypes with field types. Closes #329.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/transform/OverridingPairs.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/OverridingPairs.scala b/src/dotty/tools/dotc/transform/OverridingPairs.scala index f631dcf9a..4026749b2 100644 --- a/src/dotty/tools/dotc/transform/OverridingPairs.scala +++ b/src/dotty/tools/dotc/transform/OverridingPairs.scala @@ -43,7 +43,7 @@ object OverridingPairs { val info1 = self.memberInfo(sym1) val info2 = self.memberInfo(sym2) // info1.signature == info2.signature && // TODO enable for speed - info1 matches info2 + info1.widenExpr matches info2.widenExpr } /** The symbols that can take part in an overriding pair */ |