Fix some job security in the witness representation #60152
AST: Remove unnecessary include of Witness.h
098ffdc0
AST: Remove dead code from ASTVerifier
4f9b53fb
AST: Refactor RequirementEnvironment and Witness to store GenericSign…
1687895d
AST: Rename 'synthetic' to 'witness thunk' in RequirementEnvironment …
03b3ec87
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub