/workspace/scratch/d3c8f9dc75d7/project/negative_controls/InconsistentDataAlwaysFits.lean:4:19: error: `ext` did not consume the patterns `x`

Note: This linter can be disabled with `set_option linter.unusedRCasesPattern false`
/workspace/scratch/d3c8f9dc75d7/project/negative_controls/InconsistentDataAlwaysFits.lean:4:12: error: unsolved goals
⊢ False
