ignore = [
  "tests/**/issue-3779/ice.rs"
]