WIP

Author: eernstg

working/4200-metaobjects/feature-specification.md

@@ -489,6 +489,17 @@ the same member access where the receiver is parenthesized (`(X).foo()`).
 *This implies that the member access is treated as a member access on the
 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`.
+
+*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`.*
+
 Consider a member access whose receiver is a possibly qualified identifier
 that denotes a class, mixin, mixin class, or enum declaration _D_ (e.g.,
 `C.foo()` or `prefix.C.foo()`). If the accessed member is not declared as a