[Issue 20628] Inherited In contracts should only check the most inherited function

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=20628

--- Comment #1 from FeepingCreature <default_357-line at yahoo.de> ---
Sorry, that should be "widen the condition", not "tighten the condition", in
the first paragraph. The argument is unaffected.

--