WIP

Author: eernstg

working/4200-metaobjects/feature-specification.md

@@ -490,15 +490,15 @@ the same member access where the receiver is parenthesized (`(X).foo()`).
 result of evaluating the type literal as an expression.*
 
 A term of the form `X.new` where `X` is a type variable whose static type
-includes a member signature which is a method with the name `call` is
-treated as `X.call`.
+includes a member signature which is a method with the name `call` with
+return type `X` is treated as `X.call`.
 
 *This implies that tear-offs and invocations of forwarders to constructors
 can be expressed using the same syntax as statically resolved tear-offs and
 invocations, e.g., `X.new` and `X.new(42)`. Note that these forms may also
 invoke or tear off a method named `call` in situations where this method
-does not forward the tear-off or invocation to a constructor. For example,
-it could forward to a static method named `call` for some values of `X`.*
+does not forward the invocation to a constructor. For example, it could
+forward to a static method named `call` for some values of `X`.*
 
 Consider a member access whose receiver is a possibly qualified identifier
 that denotes a class, mixin, mixin class, or enum declaration _D_ (e.g.,