Fixed typos

odersky · odersky · commit f2743f7e62b1 · 2014-11-18T15:28:24.000+01:00
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -1382,7 +1382,7 @@ class TypeComparer(initctx: Context) extends DotClass {
       false
   }
 
-  /** Constraint `c1` subsumes constraint `c2`, if under `c2` as constaint we have
+  /** Constraint `c1` subsumes constraint `c2`, if under `c2` as constraint we have
    *  for all poly params `p` defined in `c2` as `p >: L2 <: U2`:
    *
    *     c1 defines p with bounds p >: L1 <: U1, and
diff --git a/tests/pos/subtyping.scala b/tests/pos/subtyping.scala
@@ -6,9 +6,6 @@ class A {
 }
 object test {
 
-  class B
-  class C
-
   def tag1[T](x: T): String & T = ???
   def tag2[T](x: T): T & String = ???
 

Original file line number	Diff line number	Diff line change
`@@ -1382,7 +1382,7 @@ class TypeComparer(initctx: Context) extends DotClass {`
`1382`	`1382`	`false`
`1383`	`1383`	`}`
`1384`	`1384`
`1385`		- /** Constraint `c1` subsumes constraint `c2`, if under `c2` as constaint we have
	`1385`	+ /** Constraint `c1` subsumes constraint `c2`, if under `c2` as constraint we have
`1386`	`1386`	* for all poly params `p` defined in `c2` as `p >: L2 <: U2`:
`1387`	`1387`	`*`
`1388`	`1388`	`* c1 defines p with bounds p >: L1 <: U1, and`