@@ -192,9 +192,9 @@ If a type scheme *S*:
192
192
then the type scheme does not denote any declaration or namespace.
193
193
194
194
_ Platform library declared types can be exempt from rules that apply to user
195
- declarations. For example the ` Object ` and ` Null ` classes appear to be ` class `
195
+ declarations. For example, the ` Object ` and ` Null ` classes appear to be ` class `
196
196
declarations in the library source code, but their types do not have a superclass,
197
- which any user-written ` class ` declaration myst have.
197
+ which any user-written ` class ` declaration must have.
198
198
That makes it unclear/under-specified whether these types are actually ` class `
199
199
declarations, or if they merely count as such in some ways, and if so,
200
200
what they really are._
@@ -248,7 +248,7 @@ an identifier (or qualified identifier) denoting that declaration.
248
248
It's a compile-time error if the shorthand context does not denote a declaration
249
249
and static namespace.
250
250
It's a compile-time error if a static member lookup with base name ` id ` /` new `
251
- on that declartion does not find a static member.
251
+ on that declaration does not find a static member.
252
252
It's a compile-time error if that declaration does not have a static member
253
253
with base name ` id ` , or an unnamed constructor for ` .new ` .
254
254
Otherwise the ` .id ` /` .new ` is treated as denoting that member and works just like
@@ -422,7 +422,7 @@ _The only `.id` selector which can come after a constant expression
422
422
and still be constant is ` String.length ` , and it's very hard to
423
423
make that integer satisfy a context type of ` String ` . The only other
424
424
selector which can follow complete constant expression and still be
425
- constant is the not-null check ` ! ` , which is rarerly useful in
425
+ constant is the not-null check ` ! ` , which is rarely useful in
426
426
constant expressions._
427
427
428
428
A static member shorthand expression should be a _ potentially constant_
@@ -431,7 +431,7 @@ selectors expression would be, which currently means that
431
431
it's a potentially constant expression if and only if
432
432
it's a constant expression.
433
433
_ There is no current way for an explicit static member access
434
- followed by zero or more selectorsto be a potentially constant expression
434
+ followed by zero or more selectors to be a potentially constant expression
435
435
if it contains a constructor parameter anywhere. That "anywhere"
436
436
is necessarily in a parameter expression, and the only invocation with
437
437
parameters that are allowed in a potentially constant expression is
0 commit comments