[Accepted] SE-0267 — `where` clauses on contextually generic declarations

[Lantua]

@Joe_Groff

but it should also do so for non- final class methods, to avoid the same problem with conditional dynamically-dispatched methods in classes.

Could anyone elaborate more on what this part means?