_RocqProject

-Q src Perennial
-Q external/Goose Goose
-Q _build/default/src Perennial
-Q _build/default/external/Goose Goose
-arg -w -arg +deprecated-instance-without-locality
# don't allow ambiguous coercions
-arg -w -arg +ambiguous-paths
-arg -w -arg +deprecated-hint-rewrite-without-locality
-arg -w -arg +deprecated-field-instance-without-locality
-arg -w -arg +deprecated-tactic-notation
# for coqutil compatibility
-arg -w -arg -deprecated-since-8.19,-deprecated-since-8.20
-arg -w -arg -deprecated-since-9.0,-deprecated-since-9.1,-deprecated-since-9.2
# false positives with our byte_string
-arg -w -arg -via-type-remapping,-via-type-mismatch
-arg -w -arg +deprecated-typeclasses-transparency-without-locality
-arg -w -arg -overriding-logical-loadpath
# Iris-disabled warnings
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-notation-incompatible-prefix
-arg -w -arg -unknown-warning