From bbe4afc49bcab87cf6abda4fedb49e1010e29b12 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Sun, 13 Sep 2015 23:48:31 +0200
Subject: [PATCH] fixes #1782

---
 doc/manual/procs.txt | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/manual/procs.txt b/doc/manual/procs.txt
index 9d00b7e3c5..ee74b2ea63 100644
--- a/doc/manual/procs.txt
+++ b/doc/manual/procs.txt
@@ -137,6 +137,14 @@ to supply any type of first argument for procedures:
 Another way to look at the method call syntax is that it provides the missing
 postfix notation.
 
+The method call syntax conflicts with explicit generic instantiations:
+``p[T](x)`` cannot be written as ``x.p[T]`` because ``x.p[T]`` is always
+parsed as ``(x.p)[T]``.
+
+**Future directions**: ``p[.T.]`` might be introduced as an alternative syntax
+to pass explict types to a generic and then ``x.p[.T.]`` can be parsed as
+``x.(p[.T.])``.
+
 See also: `Limitations of the method call syntax`_.