ill-bare-refl-compute.expect.yaml

status: error
error_tag: TypeErrorCannotInferBareRefl
message_contains:
  - "cannot infer the type of term"
regression_for:
  - cannot-infer-bare-refl