[SR-11419] missing_witnesses_general Should only be emitted in IDE mode #53820
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
diagnostics QoI
Bug: Diagnostics Quality of Implementation
good first issue
Good for newcomers
Additional Detail from JIRA
md5: 8d48731592720aad3e645f6b523348b3
Issue Description:
We're currently emitting the note asking
do you want to add protocol stubs?
Outside of editor mode. This should not happen. There are two other places where we emit this that aren't surrounded by a check for editor mode, and both are in TypeCheckProtocol. Cover them both under that condition, then add a test to make sure that we don't see this note outside of IDE mode.
The text was updated successfully, but these errors were encountered: