model: bring back call site doc to highlight as `CallSite::mdoc_or_fallback`

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

diff --git a/src/model/mdoc.nit b/src/model/mdoc.nit
index 408e572..7ce57e4 100644 (file)
--- a/src/model/mdoc.nit
+++ b/src/model/mdoc.nit
@@ -45,6 +45,7 @@ redef class MEntity
        #   their introducing definition.
        # * `MClassType`s fall back to their wrapped `MClass`.
        # * `MVirtualType`s fall back to their wrapped `MProperty`.
+       # * `CallSite` fall back on the wrapped `MProperty`.
        # * Other entities do not fall back.
        #
        # One may use `MDoc::original_mentity` to retrieve the original

diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit
index d5cbb46..fc89e5f 100644 (file)
--- a/src/semantize/typing.nit
+++ b/src/semantize/typing.nit
@@ -785,6 +785,8 @@ class CallSite
        fun dump_info(v: ASTDump): String do
                return "{recv}.{mpropdef}{msignature}"
        end
+
+       redef fun mdoc_or_fallback do return mproperty.intro.mdoc
 end
 
 redef class Variable