Jamie 6c676c9f22 [AST][SILOptimizer]: unify missing return diagnostics in some cases ...

Previously, missing return diagnostics for unreachable subscripts
differed from the treatment unreachable functions received, leading to
inconsistent diagnostic behavior. This change removes the responsibility
for handling the relevant diagnostics from the AST code, in favor of the
diagnostics implemented via the SIL optimizer. Additionally, where the
AST-generation code would previously have diagnosed a missing return for
an implicit empty getter, it will now admit as valid, deferring the
missing return diagnostics to the later SIL passes.

2024-08-07 08:14:11 -05:00

36 KiB

Raw Permalink Blame History

View Raw