Allan Shortlidge
43ce0dfe5b
Sema: Record a default witness for requirements with satisfied Obj-C siblings.
...
Rather than just skipping requirements with satisfied Obj-C siblings during
`resolveValueWitnesses()`, proactively record a default witness for these
requirements. This prevents lazy value witness resolution from giving the
skipped requirements a default witness after the conformance is already marked
complete, which causes an assertion to fail.
Resolves rdar://119435253
2024-03-11 14:46:19 -07:00
Mohammed M. Ennabah
81ab8a302d
changed diagnostics argument name to argument label SR-5857 ( #11894 )
...
* changed diagnostics argument name to argument label SR-5857
2017-09-13 19:07:19 -07:00
Jordan Rose
14b979c035
[test] Remove -verify-ignore-unknown from tests that no longer need it. ( #8547 )
2017-04-05 09:23:05 -07:00
Rintaro Ishizaki
384ab780e9
[Diagnostic verifier] Make '<unknown>' check optional
...
Added frontend option '-verify-ignore-unknown'
2017-02-02 10:49:32 +09:00
Rintaro Ishizaki
827c6e7c3d
[Diagnostic verifier] Diagnostics at '<unknown>:0' are unexpected
2017-02-02 10:48:54 +09:00
David Farler
b7d17b25ba
Rename -parse flag to -typecheck
...
A parse-only option is needed for parse performance tracking and the
current option also includes semantic analysis.
2016-11-28 10:50:55 -08:00
Jordan Rose
61798ff6ec
[test] Rename test/ClangModules to test/ClangImporter. ( #5618 )
...
...to match the component in include/ and lib/. No content change.
2016-11-02 18:00:53 -07:00
