Skip to content

Commit 39411d3

Browse files
committed
Sema: Fix -debug-inverse-requirements flag
1 parent 2de4f77 commit 39411d3

File tree

2 files changed

+3
-2
lines changed

2 files changed

+3
-2
lines changed

lib/Frontend/CompilerInvocation.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1521,6 +1521,7 @@ static bool ParseTypeCheckerArgs(TypeCheckerOptions &Opts, ArgList &Args,
15211521
Opts.DeferToRuntime = true;
15221522

15231523
Opts.DebugGenericSignatures |= Args.hasArg(OPT_debug_generic_signatures);
1524+
Opts.DebugInverseRequirements |= Args.hasArg(OPT_debug_inverse_requirements);
15241525

15251526
Opts.EnableLazyTypecheck |= Args.hasArg(OPT_experimental_lazy_typecheck);
15261527
Opts.EnableLazyTypecheck |=

lib/Sema/TypeCheckDeclPrimary.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2078,7 +2078,7 @@ static void dumpGenericSignature(ASTContext &ctx, GenericContext *GC) {
20782078
PrintOptions Opts;
20792079
Opts.ProtocolQualifiedDependentMemberTypes = true;
20802080
Opts.PrintInverseRequirements =
2081-
ctx.TypeCheckerOpts.DebugInverseRequirements;
2081+
!ctx.TypeCheckerOpts.DebugInverseRequirements;
20822082
sig->print(llvm::errs(), Opts);
20832083
llvm::errs() << "\n";
20842084
llvm::errs() << "Canonical generic signature: ";
@@ -3456,7 +3456,7 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
34563456
PrintOptions Opts;
34573457
Opts.ProtocolQualifiedDependentMemberTypes = true;
34583458
Opts.PrintInverseRequirements =
3459-
Ctx.TypeCheckerOpts.DebugInverseRequirements;
3459+
!Ctx.TypeCheckerOpts.DebugInverseRequirements;
34603460
sig.print(PD, llvm::errs(), Opts);
34613461
llvm::errs() << "\n";
34623462
}

0 commit comments

Comments
 (0)