summaryrefslogtreecommitdiff
path: root/sources/scalac/checkers/TreeChecker.java
diff options
context:
space:
mode:
Diffstat (limited to 'sources/scalac/checkers/TreeChecker.java')
-rw-r--r--sources/scalac/checkers/TreeChecker.java23
1 files changed, 23 insertions, 0 deletions
diff --git a/sources/scalac/checkers/TreeChecker.java b/sources/scalac/checkers/TreeChecker.java
index fb6f635bdc..219e0b249d 100644
--- a/sources/scalac/checkers/TreeChecker.java
+++ b/sources/scalac/checkers/TreeChecker.java
@@ -260,6 +260,29 @@ public class TreeChecker {
}
//########################################################################
+ // Private Methods - Checking type
+
+ private boolean type(Tree tree, Type expected, Type loBound) {
+ if (!loBound.isSubType(tree.type())) {
+ Type.explainSwitch = true;
+ assert loBound.isSubType(tree.type()): show(tree)
+ + format("loBound", expected);
+ Type.explainSwitch = false;
+ }
+ return type(tree, expected);
+ }
+
+ private boolean type(Tree tree, Type expected) {
+ if (!tree.type().isSubType(expected)) {
+ Type.explainSwitch = true;
+ assert tree.type().isSubType(expected): show(tree)
+ + format("expected", expected);
+ Type.explainSwitch = false;
+ }
+ return true;
+ }
+
+ //########################################################################
// Private Methods - Declaring symbols
/** Do the trees contain the given symbols? */