Skip to content

Commit

Permalink
Rollup merge of #107740 - oli-obk:lock_tcx, r=petrochenkov
Browse files Browse the repository at this point in the history
Avoid locking the global context across the `after_expansion` callback

r? `@petrochenkov`

This was noticed in model-checking/kani#2184 (comment)

This didn't have a perf impact, as it's just an additional 2 or 3 RefCell locks being created.
  • Loading branch information
matthiaskrgr authored Feb 7, 2023
2 parents 4936993 + 313a19e commit de71294
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit de71294

Please sign in to comment.