[SR-13274] Incorrect diagnostic "inherits from itself" on using CRTP #55714
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
type checker
Area → compiler: Semantic analysis
Additional Detail from JIRA
md5: d62c6c6302980168d341cac388f1d0b1
Issue Description:
Consider the code below:
It's not super obvious to me whether this code should compile or not, because this probably requires a complex notion of consistency-checking. But the diagnostic
error: 'C' inherits from itself
is inaccurate,C
is not inheriting from itself.The text was updated successfully, but these errors were encountered: