resolve: Always update globs importing from a module when bindings in that module change #113242

petrochenkov · 2023-07-01T18:03:20Z

Second independent subset of #112743 for a mini crater run.
cc @bvanjoi

TODO: @craterbot check p=1 crates=https://crater-reports.s3.amazonaws.com/pr-112743/retry-regressed-list.txt

… that module change

rustbot · 2023-07-01T18:03:26Z

r? @cjgillot

(rustbot has picked a reviewer for you, use r? to override)

petrochenkov · 2023-07-01T18:03:38Z

@bors try

bors · 2023-07-01T18:03:47Z

⌛ Trying commit 4e7e62a with merge 45b14c26f76a39a9945ef8518d3276f1bc880008...

rust-log-analyzer · 2023-07-01T18:21:00Z

The job x86_64-gnu-tools failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

    |
619 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
832 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
835 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs:861:25
    |
861 |                         Provenance::Concrete { alloc_id, tag: new_tag }
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs:865:48
    |
865 |                         assert!(matches!(prov, Provenance::Wildcard));
    |                                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
866 |                         Provenance::Wildcard
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
882 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
883 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
897 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
920 |                 place: &PlaceTy<'tcx, Provenance>,
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs:933:36
    |
933 |             type V = PlaceTy<'tcx, Provenance>;
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs:940:59
    |
940 |             fn visit_box(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/stacked_borrows/mod.rs:946:61
    |
946 |             fn visit_value(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
179 |         place: &MPlaceTy<'tcx, Provenance>, // parent tag extracted from here
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
305 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
307 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:344:25
    |
344 |                         Provenance::Concrete { alloc_id, tag: actual_tag }
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:348:48
    |
348 |                         assert!(matches!(prov, Provenance::Wildcard));
    |                                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
349 |                         Provenance::Wildcard
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
367 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
368 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
382 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
403 |                 place: &PlaceTy<'tcx, Provenance>,
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:415:36
    |
415 |             type V = PlaceTy<'tcx, Provenance>;
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:425:59
    |
425 |             fn visit_box(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:435:61
    |
435 |             fn visit_value(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
567 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:573:18
    |
573 |             Some(Provenance::Concrete { tag, alloc_id }) => (tag, alloc_id),
    |                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
590 |     place: &PlaceTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
591 | ) -> InterpResult<'tcx, PlaceTy<'tcx, Provenance>> {
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:16:5
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
282 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
283 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
295 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
325 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
465 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
467 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
485 |         val: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
486 |         dest: &MPlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
506 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/data_race.rs:507:27
    |
507 |         rhs: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
511 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
533 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
534 |         new: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
536 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
554 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
555 |         rhs: ImmTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
558 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
590 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
591 |         expect_old: &ImmTy<'tcx, Provenance>,
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
592 |         new: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
596 |     ) -> InterpResult<'tcx, Immediate<Provenance>> {
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
57  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/concurrency/data_race.rs:1014:58
     |
1014 |     fn atomic_access_check(&self, place: &MPlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
     |                                                          ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
57   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1053 |         place: &MPlaceTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
57   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1076 |         place: &MPlaceTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
57   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1099 |         place: &MPlaceTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
57   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1124 |         place: &MPlaceTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
57   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/concurrency/sync.rs:57:51
   |
57 |             pub fn to_u32_scalar(&self) -> Scalar<Provenance> {
   |                                                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
13 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
203 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
282 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
294 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
306 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/concurrency/sync.rs:57:51
   |
57 |             pub fn to_u32_scalar(&self) -> Scalar<Provenance> {
   |                                                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/concurrency/init_once.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
97 |         lock_op: &OpTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/concurrency/init_once.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
118 |     stack: Vec<Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>>,
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:144:43
    |
144 |     pub(crate) panic_payloads: Vec<Scalar<Provenance>>,
    |                                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
147 |     pub(crate) last_error: Option<MPlaceTy<'tcx, Provenance>>,
    |                                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:244:34
    |
244 | impl VisitTags for Frame<'_, '_, Provenance, FrameExtra<'_>> {
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:320:74
    |
320 |     thread_local_alloc_ids: RefCell<FxHashMap<(DefId, ThreadId), Pointer<Provenance>>>,
    |                                                                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:381:74
    |
381 |     fn get_thread_local_alloc_id(&self, def_id: DefId) -> Option<Pointer<Provenance>> {
    |                                                                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:389:66
    |
389 |     fn set_thread_local_alloc(&self, def_id: DefId, ptr: Pointer<Provenance>) {
    |                                                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
397 |     pub fn active_thread_stack(&self) -> &[Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>] {
    |                                                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
404 |     ) -> &mut Vec<Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>> {
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:410:51
    |
410 |     ) -> impl Iterator<Item = &[Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>]> {
    |                                                   ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/thread.rs:631:22
    |
631 |     ) -> Vec<Pointer<Provenance>> {
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
784 |     ) -> InterpResult<'tcx, Pointer<Provenance>> {
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
814 |         thread: Option<MPlaceTy<'tcx, Provenance>>,
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
815 |         start_routine: Pointer<Option<Provenance>>,
    |                                       ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
817 |         func_arg: ImmTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
936 |     fn active_thread_stack(&self) -> &[Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>] {
    |                                                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
944 |     ) -> &mut Vec<Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>> {
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
23  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
152 |     val: Scalar<Provenance>,
    |                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:207:22
    |
207 |         init: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:232:22
    |
232 |         init: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:253:25
    |
253 |     fn new(init: Scalar<Provenance>) -> Self {
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:291:37
    |
291 |     ) -> InterpResult<'tcx, (Scalar<Provenance>, LoadRecency)> {
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
316 |         val: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
417 |         val: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:464:17
    |
464 |     ) -> Scalar<Provenance> {
    |                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
481 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
509 |         new_val: Scalar<Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
510 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:512:22
    |
512 |         init: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
535 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:537:30
    |
537 |         latest_in_mo: Scalar<Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
539 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
574 |         val: Scalar<Provenance>,
    |                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
575 |         dest: &MPlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:577:22
    |
577 |         init: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
619 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/concurrency/weak_memory.rs:621:22
    |
621 |         init: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
88  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/diagnostics.rs:391:65
    |
391 |     leaks: Vec<(AllocId, MemoryKind<MiriMemoryKind>, Allocation<Provenance, AllocExtra<'tcx>>)>,
    |                                                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/eval.rs:303:41
    |
303 |         let mut argvs = Vec::<Immediate<Provenance>>::new();
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
27  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:160:57
    |
160 |     fn eval_path_scalar(&self, path: &[&str]) -> Scalar<Provenance> {
    |                                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:173:47
    |
173 |     fn eval_libc(&self, name: &str) -> Scalar<Provenance> {
    |                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:194:64
    |
194 |     fn eval_windows(&self, module: &str, name: &str) -> Scalar<Provenance> {
    |                                                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
235 |         mplace: &MPlaceTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
237 |     ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
254 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
269 |         dest: &MPlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
283 |         dest: &MPlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
294 |     fn write_null(&mut self, dest: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                   ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:299:47
    |
299 |     fn ptr_is_null(&self, ptr: Pointer<Option<Provenance>>) -> InterpResult<'tcx, bool> {
    |                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
304 |     fn local_place(&mut self, local: mir::Local) -> InterpResult<'tcx, PlaceTy<'tcx, Provenance>> {
    |                                                                                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:311:50
    |
311 |     fn gen_random(&mut self, ptr: Pointer<Option<Provenance>>, len: u64) -> InterpResult<'tcx> {
    |                                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
345 |         args: &[Immediate<Provenance>],
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
346 |         dest: Option<&PlaceTy<'tcx, Provenance>>,
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
390 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:409:72
    |
409 |         let mut unsafe_cell_action = |unsafe_cell_ptr: &Pointer<Option<Provenance>>,
    |                                                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:464:38
    |
464 |             F: FnMut(&MPlaceTy<'tcx, Provenance>) -> InterpResult<'tcx>,
    |                                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:473:38
    |
473 |             F: FnMut(&MPlaceTy<'tcx, Provenance>) -> InterpResult<'tcx>,
    |                                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
475 |             type V = MPlaceTy<'tcx, Provenance>;
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
483 |             fn visit_value(&mut self, v: &MPlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
530 |                 place: &MPlaceTy<'tcx, Provenance>,
    |                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
531 |                 fields: impl Iterator<Item = InterpResult<'tcx, MPlaceTy<'tcx, Provenance>>>,
    |                                                                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:542:78
    |
542 | ...                   .collect::<InterpResult<'tcx, Vec<MPlaceTy<'tcx, Provenance>>>>()?;
    |                                                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
556 |                 _v: &MPlaceTy<'tcx, Provenance>,
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
617 |     fn last_error_place(&mut self) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> {
    |                                                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:632:49
    |
632 |     fn set_last_error(&mut self, scalar: Scalar<Provenance>) -> InterpResult<'tcx> {
    |                                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:639:63
    |
639 |     fn get_last_error(&mut self) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
650 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:687:24
    |
687 |         errnum: Scalar<Provenance>,
    |                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
736 |         op: &OpTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
738 |     ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
751 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
753 |     ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
766 |         op: &OpTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
770 |     ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
783 |         op: &OpTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
787 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
795 |         op: &OpTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
797 |         value: impl Into<Scalar<Provenance>>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:811:29
    |
811 |         tp: &MPlaceTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:835:53
    |
835 |     fn read_c_str<'a>(&'a self, ptr: Pointer<Option<Provenance>>) -> InterpResult<'tcx, &'a [u8]>
    |                                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
869 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/helpers.rs:885:53
    |
885 |     fn read_wide_str(&self, mut ptr: Pointer<Option<Provenance>>) -> InterpResult<'tcx, Vec<u16>> {
    |                                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
916 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
25  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1027:25
     |
1027 |         &'a [OpTy<'tcx, Provenance>; N]: TryFrom<&'a [OpTy<'tcx, Provenance>]>,
     |                         ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1027:66
     |
1027 |         &'a [OpTy<'tcx, Provenance>; N]: TryFrom<&'a [OpTy<'tcx, Provenance>]>,
     |                                                                  ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1024 |         args: &'a [OpTy<'tcx, Provenance>],
     |                               ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1025:45
     |
1025 |     ) -> InterpResult<'tcx, &'a [OpTy<'tcx, Provenance>; N]>
     |                                             ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1034:52
     |
1034 |     fn mark_immutable(&mut self, mplace: &MemPlace<Provenance>) {
     |                                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1074 |     fn stack(&self) -> &[Frame<'mir, 'tcx, Provenance, machine::FrameExtra<'tcx>>] {
     |                                            ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1083:62
     |
1083 |     pub fn is_user_relevant(&self, frame: &Frame<'mir, 'tcx, Provenance>) -> bool {
     |                                                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1095:21
     |
1095 |     &'a [OpTy<'tcx, Provenance>; N]: TryFrom<&'a [OpTy<'tcx, Provenance>]>,
     |                     ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1095:62
     |
1095 |     &'a [OpTy<'tcx, Provenance>; N]: TryFrom<&'a [OpTy<'tcx, Provenance>]>,
     |                                                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1092 |     args: &'a [OpTy<'tcx, Provenance>],
     |                           ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/helpers.rs:1093:41
     |
1093 | ) -> InterpResult<'tcx, &'a [OpTy<'tcx, Provenance>; N]>
     |                                         ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
25   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
125 |     ) -> Pointer<Option<Provenance>> {
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
135 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/intptrcast.rs:162:30
    |
162 |         Ok(Pointer::new(Some(Provenance::Wildcard), Size::from_bytes(addr)))
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
239 |         ptr: Pointer<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/intptrcast.rs:243:31
    |
243 |         let alloc_id = if let Provenance::Concrete { alloc_id, .. } = tag {
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
12 |         left: &ImmTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
13 |         right: &ImmTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/operator.rs:14:37
   |
14 |     ) -> InterpResult<'tcx, (Scalar<Provenance>, bool, Ty<'tcx>)>;
   |                                     ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
21 |         left: &ImmTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
22 |         right: &ImmTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/operator.rs:23:37
   |
23 |     ) -> InterpResult<'tcx, (Scalar<Provenance>, bool, Ty<'tcx>)> {
   |                                     ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
14 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
15 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
34 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
35 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
120 |         ptr: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
1   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
150 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
1   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
151 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
1   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
235 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
1   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/ffi_support.rs:16:19
   |
16 |         k: Scalar<Provenance>,
   |                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/ffi_support.rs:8:5
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
73 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/ffi_support.rs:8:5
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
208 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/ffi_support.rs:8:5
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
209 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/ffi_support.rs:8:5
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
77 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
   |                                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
26 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
98 |         ptr: Pointer<Option<Provenance>>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
26 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
110 |         old_ptr: Pointer<Option<Provenance>>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
113 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/foreign_items.rs:236:57
    |
236 |     fn read_byte_slice<'i>(&'i self, bytes: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, &'i [u8]>
    |                                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
258 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
259 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
380 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
381 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
26  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
20 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
21 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
126 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
127 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
144 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
161 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
172 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
183 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
184 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
225 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
226 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
242 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
243 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
271 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
272 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
281 |         args: &[OpTy<'tcx, Provenance>],
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
282 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/intrinsics/atomic.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
15 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
16 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/intrinsics/simd.rs:596:56
    |
596 | fn bool_to_simd_element(b: bool, size: Size) -> Scalar<Provenance> {
    |                                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/intrinsics/simd.rs:602:41
    |
602 | fn simd_element_to_bool(elem: ImmTy<'_, Provenance>) -> InterpResult<'_, bool> {
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
621 |     left: &ImmTy<'tcx, Provenance>,
    |                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
622 |     right: &ImmTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
623 | ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
637 |     left: &ImmTy<'tcx, Provenance>,
    |                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
638 |     right: &ImmTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
639 | ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
26 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
16 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
27 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
16 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
64 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
16 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
65 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
16 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/intrinsics/mod.rs:393:32
    |
393 |         F: Float + Into<Scalar<Provenance>>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
391 |     ) -> InterpResult<'tcx, Scalar<Provenance>>
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
16  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
38 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/dlsym.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
39 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/dlsym.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
23 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
24 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/foreign_items.rs:248:76
    |
248 |                 let sysconfs: &[(&str, fn(&MiriInterpCx<'_, '_>) -> Scalar<Provenance>)] = &[
    |                                                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
10  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
337 |         buf_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
434 |     entry: Pointer<Option<Provenance>>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:508:43
    |
508 |     fn open(&mut self, args: &[OpTy<'tcx, Provenance>]) -> InterpResult<'tcx, i32> {
    |                                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
628 |     fn fcntl(&mut self, args: &[OpTy<'tcx, Provenance>]) -> InterpResult<'tcx, i32> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:707:44
    |
707 |     fn close(&mut self, fd_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:707:86
    |
707 |     fn close(&mut self, fd_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                                                                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:736:29
    |
736 |         buf: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:792:29
    |
792 |         buf: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
827 |         fd_op: &OpTy<'tcx, Provenance>,
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
828 |         offset_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
829 |         whence_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
830 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
864 |     fn unlink(&mut self, path_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
    |                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
882 |         target_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
883 |         linkpath_op: &OpTy<'tcx, Provenance>,
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
913 |         path_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
914 |         buf_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
915 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
942 |         path_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
943 |         buf_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
944 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
969 |         fd_op: &OpTy<'tcx, Provenance>,
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
970 |         buf_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
971 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
994 |         dirfd_op: &OpTy<'tcx, Provenance>,    // Should be an `int`
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:995:34
    |
995 |         pathname_op: &OpTy<'tcx, Provenance>, // Should be a `const char *`
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
996 |         flags_op: &OpTy<'tcx, Provenance>,    // Should be an `int`
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:997:30
    |
997 |         mask_op: &OpTy<'tcx, Provenance>,     // Should be an `unsigned int`
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/fs.rs:998:34
    |
998 |         statxbuf_op: &OpTy<'tcx, Provenance>, // Should be a `struct statx *`
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
18  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1176 |         oldpath_op: &OpTy<'tcx, Provenance>,
     |                                 ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1177 |         newpath_op: &OpTy<'tcx, Provenance>,
     |                                 ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1207 |         path_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1208 |         mode_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1244 |     fn rmdir(&mut self, path_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
     |                                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1263 |         name_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1264 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1297 |         dirp_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1298 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1387 |         dirp_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1388 |         entry_op: &OpTy<'tcx, Provenance>,
     |                               ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1389 |         result_op: &OpTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1390 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1483 |     fn closedir(&mut self, dirp_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
     |                                                 ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1506 |         fd_op: &OpTy<'tcx, Provenance>,
     |                            ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1507 |         length_op: &OpTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1508 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1551 |     fn fsync(&mut self, fd_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
     |                                            ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1581 |     fn fdatasync(&mut self, fd_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
     |                                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1610 |         fd_op: &OpTy<'tcx, Provenance>,
     |                            ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1611 |         offset_op: &OpTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1612 |         nbytes_op: &OpTy<'tcx, Provenance>,
     |                                ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1613 |         flags_op: &OpTy<'tcx, Provenance>,
     |                               ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1614 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1660 |         pathname_op: &OpTy<'tcx, Provenance>,
     |                                  ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1661 |         buf_op: &OpTy<'tcx, Provenance>,
     |                             ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1662 |         bufsize_op: &OpTy<'tcx, Provenance>,
     |                                 ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/shims/unix/fs.rs:1706:30
     |
1706 |         miri_fd: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1707 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1725 |         path_op: &OpTy<'tcx, Provenance>,
     |                              ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1726 |         processed_path_op: &OpTy<'tcx, Provenance>,
     |                                        ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1727 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
     |                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
    --> src/tools/miri/src/shims/unix/fs.rs:1783:52
     |
1783 |     fn mkstemp(&mut self, template_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
     |                                                    ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
     |
1929 |     mode: Scalar<Provenance>,
     |                  ^^^^^^^^^^ ambiguous name
     |
     = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
     |
18   | use crate::*;
     |     ^^^^^^^^
     = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
17 |         addr: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
18 |         length: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/mem.rs:19:27
   |
19 |         prot: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
20 |         flags: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
21 |         fd: &OpTy<'tcx, Provenance>,
   |                         ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
22 |         offset: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
23 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/mem.rs:10:5
10 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
111 |         addr: &OpTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/mem.rs:10:5
10  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
112 |         length: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/mem.rs:10:5
10  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
113 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/mem.rs:10:5
10  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
37 |     attr_op: &OpTy<'tcx, Provenance>,
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
50 |     attr_op: &OpTy<'tcx, Provenance>,
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
73 |     mutex_op: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
80 |     mutex_op: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
93 |     mutex_op: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
107 |     mutex_op: &OpTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
129 |     rwlock_op: &OpTy<'tcx, Provenance>,
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
142 |     attr_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
155 |     attr_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
178 |     cond_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
185 |     cond_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
198 |     cond_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
211 |     cond_op: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
276 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
288 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
289 |         kind_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
329 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
357 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
358 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
377 |     fn pthread_mutex_lock(&mut self, mutex_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
    |                                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
416 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
452 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
487 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
512 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
530 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
547 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
577 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
594 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
613 |         rwlock_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
637 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
652 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
653 |         clock_id_op: &OpTy<'tcx, Provenance>,
    |                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
654 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
672 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
673 |         clk_id_op: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
674 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
685 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
702 |         cond_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
703 |         attr_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
722 |     fn pthread_cond_signal(&mut self, cond_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
    |                                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
738 |         cond_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
756 |         cond_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
757 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
773 |         cond_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
774 |         mutex_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
775 |         abstime_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
776 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
816 |             dest: PlaceTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
856 |         cond_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
5   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
  |
9 |         thread: &OpTy<'tcx, Provenance>,
  |                             ^^^^^^^^^^ ambiguous name
  |
  = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  |
1 | use crate::*;
  |     ^^^^^^^^
  = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
10 |         _attr: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
11 |         start_routine: &OpTy<'tcx, Provenance>,
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/thread.rs:12:26
   |
12 |         arg: &OpTy<'tcx, Provenance>,
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
35 |         thread: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
36 |         retval: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
51 |     fn pthread_detach(&mut self, thread: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
   |                                                      ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
63 |     fn pthread_self(&mut self) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
74 |         thread: Scalar<Provenance>,
   |                        ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
75 |         name: Scalar<Provenance>,
   |                      ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
77 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
97 |         thread: Scalar<Provenance>,
   |                        ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/thread.rs:98:26
   |
98 |         name_out: Scalar<Provenance>,
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/thread.rs:99:21
   |
99 |         len: Scalar<Provenance>,
   |                     ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
100 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
1   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
29 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/android/dlsym.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
30 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/android/dlsym.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
14 |         _args: &[OpTy<'tcx, Provenance>],
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/android/foreign_items.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
15 |         _dest: &PlaceTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/android/foreign_items.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
22 |         _args: &[OpTy<'tcx, Provenance>],
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/freebsd/dlsym.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
23 |         _dest: &PlaceTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/freebsd/dlsym.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
15 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
16 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
26 |         _args: &[OpTy<'tcx, Provenance>],
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
27 |         _dest: &PlaceTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/linux/fd/epoll.rs:27:22
   |
27 |     pub data: Scalar<Provenance>,
   |                      ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd/epoll.rs:1:5
1  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
25 |         flags: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
26 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/unix/linux/fd.rs:57:27
   |
57 |         epfd: &OpTy<'tcx, Provenance>,
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
58 |         op: &OpTy<'tcx, Provenance>,
   |                         ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
59 |         fd: &OpTy<'tcx, Provenance>,
   |                         ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
60 |         event: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
61 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/linux/fd.rs:143:27
    |
143 |         epfd: &OpTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
144 |         events: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/linux/fd.rs:145:32
    |
145 |         maxevents: &OpTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
146 |         timeout: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
147 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
186 |         val: &OpTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
187 |         flags: &OpTy<'tcx, Provenance>,
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
188 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
232 |         domain: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/linux/fd.rs:233:28
    |
233 |         type_: &OpTy<'tcx, Provenance>,
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
234 |         protocol: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/unix/linux/fd.rs:235:25
    |
235 |         sv: &OpTy<'tcx, Provenance>,
    |                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
    |
236 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/shims/unix/linux/fd.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
21 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
22 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
6  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
226 |     ptr: &OpTy<'tcx, Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
227 |     len: &OpTy<'tcx, Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
228 |     flags: &OpTy<'tcx, Provenance>,
    |                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
229 |     dest: &PlaceTy<'tcx, Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
6   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
11 |         old_address: &OpTy<'tcx, Provenance>,
   |                                  ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/mem.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
12 |         old_size: &OpTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/mem.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
13 |         new_size: &OpTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/mem.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
14 |         flags: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/mem.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
15 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/shims/unix/linux/mem.rs:4:5
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---
   |
10 |     args: &[OpTy<'tcx, Provenance>],
   |                        ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
11 |     dest: &PlaceTy<'tcx, Provenance>,
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
185 |                         dest: PlaceTy<'tcx, Provenance>,
    |                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
30 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
31 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
15 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
16 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
38 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
9  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
39 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
9  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
19 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
7  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
20 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
7  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/windows/handle.rs:122:63
    |
122 |     pub fn to_scalar(self, cx: &impl HasDataLayout) -> Scalar<Provenance> {
    |                                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
131 |         handle: Scalar<Provenance>,
    |                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/windows/handle.rs:158:54
    |
158 |     fn CloseHandle(&mut self, handle_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
46 |         rwlock_op: &OpTy<'tcx, Provenance>,
   |                                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
54 |         init_once_op: &OpTy<'tcx, Provenance>,
   |                                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
62 |         condvar_op: &OpTy<'tcx, Provenance>,
   |                                 ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
72 |     fn AcquireSRWLockExclusive(&mut self, lock_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
   |                                                                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
95 |         lock_op: &OpTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
96 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
8  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
110 |     fn ReleaseSRWLockExclusive(&mut self, lock_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
125 |     fn AcquireSRWLockShared(&mut self, lock_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
141 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
142 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
155 |     fn ReleaseSRWLockShared(&mut self, lock_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
172 |         init_once_op: &OpTy<'tcx, Provenance>,
    |                                   ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
173 |         flags_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
174 |         pending_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
175 |         context_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
176 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
204 |                     pending_place: PlaceTy<'tcx, Provenance>,
    |                                                  ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
249 |         init_once_op: &OpTy<'tcx, Provenance>,
    |                                   ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
250 |         flags_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
251 |         context_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
252 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
289 |         ptr_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
290 |         compare_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
291 |         size_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
292 |         timeout_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
293 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
337 |                     dest: PlaceTy<'tcx, Provenance>,
    |                                         ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/windows/sync.rs:372:59
    |
372 |     fn WakeByAddressSingle(&mut self, ptr_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
390 |         condvar_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
391 |         lock_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
392 |         timeout_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
393 |         flags_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
394 |         dest: &PlaceTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
395 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
441 |                 dest: PlaceTy<'tcx, Provenance>,
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/windows/sync.rs:480:65
    |
480 |     fn WakeConditionVariable(&mut self, condvar_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
498 |         condvar_op: &OpTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
8   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
13 |         security_op: &OpTy<'tcx, Provenance>,
   |                                  ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
14 |         stacksize_op: &OpTy<'tcx, Provenance>,
   |                                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
15 |         start_op: &OpTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
16 |         arg_op: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
17 |         flags_op: &OpTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
18 |         thread_op: &OpTy<'tcx, Provenance>,
   |                                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
60 |         handle_op: &OpTy<'tcx, Provenance>,
   |                                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
61 |         timeout_op: &OpTy<'tcx, Provenance>,
   |                                 ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
36 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
37 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
5  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/env.rs:33:45
   |
33 |     map: FxHashMap<OsString, Pointer<Option<Provenance>>>,
   |                                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
12 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
36 |     pub(crate) environ: Option<MPlaceTy<'tcx, Provenance>>,
   |                                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
12 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
100 | ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
111 | ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                        ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
122 |         name_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
123 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
144 |         name_op: &OpTy<'tcx, Provenance>, // LPCWSTR
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
145 |         buf_op: &OpTy<'tcx, Provenance>,  // LPWSTR
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
146 |         size_op: &OpTy<'tcx, Provenance>, // DWORD
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
147 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/env.rs:183:79
    |
183 |     fn GetEnvironmentStringsW(&mut self) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
206 |         env_block_op: &OpTy<'tcx, Provenance>,
    |                                   ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
207 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
219 |         name_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
220 |         value_op: &OpTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
254 |         name_op: &OpTy<'tcx, Provenance>,  // LPCWSTR
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
255 |         value_op: &OpTy<'tcx, Provenance>, // LPCWSTR
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
256 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
291 |     fn unsetenv(&mut self, name_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
    |                                                 ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
319 |         buf_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
320 |         size_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
321 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
352 |         size_op: &OpTy<'tcx, Provenance>, // DWORD
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/env.rs:353:29
    |
353 |         buf_op: &OpTy<'tcx, Provenance>,  // LPTSTR
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
354 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
378 |     fn chdir(&mut self, path_op: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx, i32> {
    |                                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
403 |         path_op: &OpTy<'tcx, Provenance>, // LPCTSTR
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
404 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/env.rs:445:42
    |
445 |         let mut vars: Vec<Pointer<Option<Provenance>>> =
    |                                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
38 |         ptr: Pointer<Option<Provenance>>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
12 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
53 |         ptr: Pointer<Option<Provenance>>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
12 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
82 |         ptr: Pointer<Option<Provenance>>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
12 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
103 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
139 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
155 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
170 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
188 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
201 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
215 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
231 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
244 |     ) -> InterpResult<'tcx, Pointer<Option<Provenance>>> {
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
12  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/panic.rs:29:30
   |
29 |     catch_fn: Pointer<Option<Provenance>>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
31 |     data: Scalar<Provenance>,
   |                  ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
33 |     dest: PlaceTy<'tcx, Provenance>,
   |                         ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
55 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
76 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
77 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
22 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
16 |         clk_id_op: &OpTy<'tcx, Provenance>,
   |                                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
17 |         tp_op: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
18 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
87 |         tv_op: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
88 |         tz_op: &OpTy<'tcx, Provenance>,
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
4  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
117 |         LPFILETIME_op: &OpTy<'tcx, Provenance>,
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
147 |         lpPerformanceCount_op: &OpTy<'tcx, Provenance>,
    |                                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
148 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
169 |         lpFrequency_op: &OpTy<'tcx, Provenance>,
    |                                     ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
170 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/time.rs:187:63
    |
187 |     fn mach_absolute_time(&self) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
203 |         info_op: &OpTy<'tcx, Provenance>,
    |                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
204 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
    |                                    ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
221 |         req_op: &OpTy<'tcx, Provenance>,
    |                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/time.rs:222:27
    |
222 |         _rem: &OpTy<'tcx, Provenance>, // Signal handlers are not supported, so rem will never be written to.
    |                           ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/time.rs:257:46
    |
257 |     fn Sleep(&mut self, timeout: &OpTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |                                              ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
4   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/tls.rs:21:37
   |
21 |     data: BTreeMap<ThreadId, Scalar<Provenance>>,
   |                                     ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
13 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/shims/tls.rs:43:72
   |
43 |     macos_thread_dtors: BTreeMap<ThreadId, (ty::Instance<'tcx>, Scalar<Provenance>)>,
   |                                                                        ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
13 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
91 |     ) -> InterpResult<'tcx, Scalar<Provenance>> {
   |                                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
13 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
106 |         new_data: Scalar<Provenance>,
    |                          ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
    |
137 |         data: Scalar<Provenance>,
    |                      ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/shims/tls.rs:170:45
    |
170 |     ) -> Option<(ty::Instance<'tcx>, Scalar<Provenance>, TlsKey)> {
    |                                             ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
    |
13  | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
34 |         args: &[OpTy<'tcx, Provenance>],
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
25 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
35 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
25 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
69 |         ptr_op: &OpTy<'tcx, Provenance>,
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
25 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
70 |         align_op: &OpTy<'tcx, Provenance>,
   |                               ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
25 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
71 |         dest: &PlaceTy<'tcx, Provenance>,
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   |
25 | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
---
   |
29 | impl VisitTags for Provenance {
   |                    ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:31:16
   |
31 |         if let Provenance::Concrete { tag, .. } = self {
   |                ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:37:28
   |
37 | impl VisitTags for Pointer<Provenance> {
   |                            ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:44:35
   |
44 | impl VisitTags for Pointer<Option<Provenance>> {
   |                                   ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:51:27
   |
51 | impl VisitTags for Scalar<Provenance> {
   |                           ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:60:30
   |
60 | impl VisitTags for Immediate<Provenance> {
   |                              ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:75:33
   |
75 | impl VisitTags for MemPlaceMeta<Provenance> {
   |                                 ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:84:29
   |
84 | impl VisitTags for MemPlace<Provenance> {
   |                             ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:92:33
   |
92 | impl VisitTags for MPlaceTy<'_, Provenance> {
   |                                 ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
  --> src/tools/miri/src/tag_gc.rs:98:26
   |
98 | impl VisitTags for Place<Provenance> {
   |                          ^^^^^^^^^^ ambiguous name
   |
   = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
  --> src/tools/miri/src/tag_gc.rs:3:5
3  | use crate::*;
   |     ^^^^^^^^
   = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/tag_gc.rs:109:32
    |
109 | impl VisitTags for PlaceTy<'_, Provenance> {
    |                                ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/tag_gc.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/tag_gc.rs:115:28
    |
115 | impl VisitTags for Operand<Provenance> {
    |                            ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/tag_gc.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
---

error[E0659]: `Provenance` is ambiguous
   --> src/tools/miri/src/tag_gc.rs:128:31
    |
128 | impl VisitTags for Allocation<Provenance, AllocExtra<'_>> {
    |                               ^^^^^^^^^^ ambiguous name
    |
    = note: ambiguous because of multiple glob imports of a name in the same module
note: `Provenance` could refer to the trait imported here
   --> src/tools/miri/src/tag_gc.rs:3:5
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate
note: `Provenance` could also refer to the enum imported here
note: `Provenance` could also refer to the enum imported here
   --> src/tools/miri/src/tag_gc.rs:3:5
    |
3   | use crate::*;
    |     ^^^^^^^^
    = help: consider adding an explicit import of `Provenance` to disambiguate

error[E0782]: trait objects must include the `dyn` keyword
    |
118 |     stack: Vec<Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>>,
    |                                  ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
118 |     stack: Vec<Frame<'mir, 'tcx, dyn Provenance, FrameExtra<'tcx>>>,


error[E0782]: trait objects must include the `dyn` keyword
    |
    |
144 |     pub(crate) panic_payloads: Vec<Scalar<Provenance>>,
    |
    |
help: add `dyn` keyword before this trait
    |
144 |     pub(crate) panic_payloads: Vec<Scalar<dyn Provenance>>,


error[E0782]: trait objects must include the `dyn` keyword
    |
147 |     pub(crate) last_error: Option<MPlaceTy<'tcx, Provenance>>,
    |                                                  ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
147 |     pub(crate) last_error: Option<MPlaceTy<'tcx, dyn Provenance>>,


error[E0782]: trait objects must include the `dyn` keyword
    |
    |
320 |     thread_local_alloc_ids: RefCell<FxHashMap<(DefId, ThreadId), Pointer<Provenance>>>,
    |
    |
help: add `dyn` keyword before this trait
    |
320 |     thread_local_alloc_ids: RefCell<FxHashMap<(DefId, ThreadId), Pointer<dyn Provenance>>>,


error[E0782]: trait objects must include the `dyn` keyword
    |
152 |     val: Scalar<Provenance>,
    |                 ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
152 |     val: Scalar<dyn Provenance>,


error[E0782]: trait objects must include the `dyn` keyword
    |
434 |     entry: Pointer<Option<Provenance>>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
434 |     entry: Pointer<Option<dyn Provenance>>,


error[E0782]: trait objects must include the `dyn` keyword
     |
1929 |     mode: Scalar<Provenance>,
     |                  ^^^^^^^^^^
     |
     |
help: add `dyn` keyword before this trait
     |
1929 |     mode: Scalar<dyn Provenance>,


error[E0782]: trait objects must include the `dyn` keyword
    |
816 |             dest: PlaceTy<'tcx, Provenance>,
    |                                 ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
816 |             dest: PlaceTy<'tcx, dyn Provenance>,
    |                                 +++


error[E0782]: trait objects must include the `dyn` keyword
  --> src/tools/miri/src/shims/unix/linux/fd/epoll.rs:27:22
   |
27 |     pub data: Scalar<Provenance>,
   |
   |
help: add `dyn` keyword before this trait
   |
27 |     pub data: Scalar<dyn Provenance>,


error[E0782]: trait objects must include the `dyn` keyword
    |
185 |                         dest: PlaceTy<'tcx, Provenance>,
    |                                             ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
185 |                         dest: PlaceTy<'tcx, dyn Provenance>,
    |                                             +++


error[E0782]: trait objects must include the `dyn` keyword
    |
204 |                     pending_place: PlaceTy<'tcx, Provenance>,
    |                                                  ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
204 |                     pending_place: PlaceTy<'tcx, dyn Provenance>,


error[E0782]: trait objects must include the `dyn` keyword
    |
337 |                     dest: PlaceTy<'tcx, Provenance>,
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
337 |                     dest: PlaceTy<'tcx, dyn Provenance>,
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
    |
441 |                 dest: PlaceTy<'tcx, Provenance>,
    |                                     ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
441 |                 dest: PlaceTy<'tcx, dyn Provenance>,
    |                                     +++


error[E0782]: trait objects must include the `dyn` keyword
   |
   |
33 |     map: FxHashMap<OsString, Pointer<Option<Provenance>>>,
   |
   |
help: add `dyn` keyword before this trait
   |
33 |     map: FxHashMap<OsString, Pointer<Option<dyn Provenance>>>,


error[E0782]: trait objects must include the `dyn` keyword
   |
36 |     pub(crate) environ: Option<MPlaceTy<'tcx, Provenance>>,
   |                                               ^^^^^^^^^^
   |
   |
help: add `dyn` keyword before this trait
36 |     pub(crate) environ: Option<MPlaceTy<'tcx, dyn Provenance>>,
   |                                               +++


error[E0782]: trait objects must include the `dyn` keyword
   |
   |
29 |     catch_fn: Pointer<Option<Provenance>>,
   |
   |
help: add `dyn` keyword before this trait
   |
29 |     catch_fn: Pointer<Option<dyn Provenance>>,


error[E0782]: trait objects must include the `dyn` keyword
   |
31 |     data: Scalar<Provenance>,
   |                  ^^^^^^^^^^
   |
   |
help: add `dyn` keyword before this trait
   |
31 |     data: Scalar<dyn Provenance>,


error[E0782]: trait objects must include the `dyn` keyword
   |
33 |     dest: PlaceTy<'tcx, Provenance>,
   |                         ^^^^^^^^^^
   |
   |
help: add `dyn` keyword before this trait
33 |     dest: PlaceTy<'tcx, dyn Provenance>,
   |                         +++


error[E0782]: trait objects must include the `dyn` keyword
   |
   |
21 |     data: BTreeMap<ThreadId, Scalar<Provenance>>,
   |
   |
help: add `dyn` keyword before this trait
   |
21 |     data: BTreeMap<ThreadId, Scalar<dyn Provenance>>,


error[E0782]: trait objects must include the `dyn` keyword
   |
   |
43 |     macos_thread_dtors: BTreeMap<ThreadId, (ty::Instance<'tcx>, Scalar<Provenance>)>,
   |
   |
help: add `dyn` keyword before this trait
   |
43 |     macos_thread_dtors: BTreeMap<ThreadId, (ty::Instance<'tcx>, Scalar<dyn Provenance>)>,


error[E0782]: trait objects must include the `dyn` keyword
    |
282 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
282 |         val: &ImmTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
    |
283 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
283 |     ) -> InterpResult<'tcx, ImmTy<'tcx, dyn Provenance>> {
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
    |
295 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
295 |         place: &PlaceTy<'tcx, dyn Provenance>,
    |                               +++


error[E0782]: trait objects must include the `dyn` keyword
    |
325 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
325 |         ptr: Pointer<Option<dyn Provenance>>,
    |                             +++


error[E0782]: trait objects must include the `dyn` keyword
    |
619 |         place: &MPlaceTy<'tcx, Provenance>,
    |                                ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
619 |         place: &MPlaceTy<'tcx, dyn Provenance>,
    |                                +++


error[E0782]: trait objects must include the `dyn` keyword
    |
832 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
832 |         val: &ImmTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
    |
835 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
835 |     ) -> InterpResult<'tcx, ImmTy<'tcx, dyn Provenance>> {
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
    |
882 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
882 |         val: &ImmTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
    |
883 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
883 |     ) -> InterpResult<'tcx, ImmTy<'tcx, dyn Provenance>> {
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
    |
897 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
897 |         place: &PlaceTy<'tcx, dyn Provenance>,
    |                               +++


error[E0782]: trait objects must include the `dyn` keyword
    |
920 |                 place: &PlaceTy<'tcx, Provenance>,
    |                                       ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
920 |                 place: &PlaceTy<'tcx, dyn Provenance>,
    |                                       +++


error[E0782]: trait objects must include the `dyn` keyword
    |
    |
933 |             type V = PlaceTy<'tcx, Provenance>;
    |
    |
help: add `dyn` keyword before this trait
    |
933 |             type V = PlaceTy<'tcx, dyn Provenance>;


error[E0782]: trait objects must include the `dyn` keyword
    |
    |
940 |             fn visit_box(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |
    |
help: add `dyn` keyword before this trait
    |
940 |             fn visit_box(&mut self, place: &PlaceTy<'tcx, dyn Provenance>) -> InterpResult<'tcx> {


error[E0782]: trait objects must include the `dyn` keyword
    |
    |
946 |             fn visit_value(&mut self, place: &PlaceTy<'tcx, Provenance>) -> InterpResult<'tcx> {
    |
    |
help: add `dyn` keyword before this trait
    |
946 |             fn visit_value(&mut self, place: &PlaceTy<'tcx, dyn Provenance>) -> InterpResult<'tcx> {


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:590:27
590 |     place: &PlaceTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
590 |     place: &PlaceTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:591:39
591 | ) -> InterpResult<'tcx, PlaceTy<'tcx, Provenance>> {
    |                                       ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
591 | ) -> InterpResult<'tcx, PlaceTy<'tcx, dyn Provenance>> {
    |                                       +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:179:32
179 |         place: &MPlaceTy<'tcx, Provenance>, // parent tag extracted from here
    |                                ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
    |
179 |         place: &MPlaceTy<'tcx, dyn Provenance>, // parent tag extracted from here


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:305:27
305 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
305 |         val: &ImmTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:307:41
307 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
307 |     ) -> InterpResult<'tcx, ImmTy<'tcx, dyn Provenance>> {
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:367:27
367 |         val: &ImmTy<'tcx, Provenance>,
    |                           ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
367 |         val: &ImmTy<'tcx, dyn Provenance>,
    |                           +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:368:41
368 |     ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> {
    |                                         ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
368 |     ) -> InterpResult<'tcx, ImmTy<'tcx, dyn Provenance>> {
    |                                         +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:382:31
382 |         place: &PlaceTy<'tcx, Provenance>,
    |                               ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
382 |         place: &PlaceTy<'tcx, dyn Provenance>,
    |                               +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:567:29
567 |         ptr: Pointer<Option<Provenance>>,
    |                             ^^^^^^^^^^
    |
    |
help: add `dyn` keyword before this trait
567 |         ptr: Pointer<Option<dyn Provenance>>,
    |                             +++


error[E0782]: trait objects must include the `dyn` keyword
   --> src/tools/miri/src/borrow_tracker/tree_borrows/mod.rs:403:39
403 |                 place: &PlaceTy<'tcx, Provenance>,
    |                                       ^^^^^^^^^^
    |
    |

petrochenkov · 2023-07-01T18:26:51Z

@bvanjoi
This PR is slightly different from #113099 because it also gets rid of the .binding() call, which are quite suspicious and may cause bugs as I mentioned in #112659 (comment).

Now I'm sufficiently sure that the new logic is correct (because it's very simple - if any bindings in a module are updated, then we update globs as well), and the main remaining problem is avoiding breaking code when possible.

We should probably try landing this subset first, as a more impactful fix, and leave the question of missing glob-vs-glob ambiguities (#113240) for later.

bors · 2023-07-01T19:20:53Z

☀️ Try build successful - checks-actions
Build commit: 45b14c26f76a39a9945ef8518d3276f1bc880008 (45b14c26f76a39a9945ef8518d3276f1bc880008)

petrochenkov · 2023-07-01T19:45:56Z

@craterbot check p=1 crates=https://gist.githubusercontent.com/petrochenkov/78c5487fedf991fad040ff42a8a36e69/raw/cc4e227ef0fe8d65cc5d107ed84847d7b6bd5a94/gistfile1.txt

craterbot · 2023-07-01T19:46:01Z

👌 Experiment pr-113242 created and queued.
🤖 Automatically detected try build 45b14c26f76a39a9945ef8518d3276f1bc880008
🔍 You can check out the queue and this experiment's details.

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot · 2023-07-02T20:47:09Z

🚧 Experiment pr-113242 is now running

ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

craterbot · 2023-07-02T21:40:30Z

🎉 Experiment pr-113242 is completed!
📊 2011 regressed and 1 fixed (8908 total)
📰 Open the full report.

⚠️ If you notice any spurious failure please add them to the blacklist!
ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more

petrochenkov · 2023-07-03T08:15:19Z

So, proper updates and not new glob-vs-glob ambiguities cause most of the breakage.

bvanjoi · 2023-07-04T16:17:06Z

tests/ui/resolve/issue-112831.rs

@@ -9,7 +8,7 @@ use zeroable::*;

 mod pod {
    use super::*;
-    pub trait Pod: Zeroable {}
+    pub trait Pod: Zeroable {} //~ ERROR expected trait, found derive macro `Zeroable`


~~It seems like a correct fix. Do we need to add a lint for this?~~

We need to fix #113099 (comment) first, then run crater again, then think about the lint.

This fix is not correct because we need to locate (Mod(root::pod), Key(Zeroable, TypeNS)) instead of (Mod(root::pod), Key(Zeroable, Macro)). Therefore, this case should pass the check.

bvanjoi · 2023-07-05T11:41:08Z

The job x86_64-gnu-tools failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

reduced:

mod a {
    pub trait P {}
}
pub use a::*;

mod c {
    use crate::*;  // `use super::*` in `issue-56593-2.rs`
    pub struct S(Vec<P>);
}

#[derive(Clone)]
pub enum P {
    A
}

fn main() {}

similar with issue-56593-2.rs, it should check pass rather than throw an ambiguity error

resolve: Always update globs importing from a module when bindings in…

4e7e62a

… that module change

rustbot assigned cjgillot Jul 1, 2023

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jul 1, 2023

petrochenkov added S-waiting-on-crater Status: Waiting on a crater run to be completed. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 1, 2023

bvanjoi mentioned this pull request Jul 2, 2023

Order of glob imports affects whether an ambiguity is reported #98467

Closed

craterbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-crater Status: Waiting on a crater run to be completed. labels Jul 2, 2023

petrochenkov closed this Jul 3, 2023

petrochenkov mentioned this pull request Jul 3, 2023

fix(resolve): update the ambiguity glob binding as warning recursively #113099

Merged

bvanjoi reviewed Jul 4, 2023

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

resolve: Always update globs importing from a module when bindings in that module change #113242

resolve: Always update globs importing from a module when bindings in that module change #113242

petrochenkov commented Jul 1, 2023

rustbot commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

bors commented Jul 1, 2023

rust-log-analyzer commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

bors commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

craterbot commented Jul 1, 2023

craterbot commented Jul 2, 2023

craterbot commented Jul 2, 2023

petrochenkov commented Jul 3, 2023

bvanjoi Jul 4, 2023 •

edited

Loading

petrochenkov Jul 4, 2023

bvanjoi Jul 9, 2023

bvanjoi commented Jul 5, 2023 •

edited

Loading

resolve: Always update globs importing from a module when bindings in that module change #113242

resolve: Always update globs importing from a module when bindings in that module change #113242

Conversation

petrochenkov commented Jul 1, 2023

rustbot commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

bors commented Jul 1, 2023

rust-log-analyzer commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

bors commented Jul 1, 2023

petrochenkov commented Jul 1, 2023

craterbot commented Jul 1, 2023

craterbot commented Jul 2, 2023

craterbot commented Jul 2, 2023

petrochenkov commented Jul 3, 2023

bvanjoi Jul 4, 2023 • edited Loading

Choose a reason for hiding this comment

petrochenkov Jul 4, 2023

Choose a reason for hiding this comment

bvanjoi Jul 9, 2023

Choose a reason for hiding this comment

bvanjoi commented Jul 5, 2023 • edited Loading

bvanjoi Jul 4, 2023 •

edited

Loading

bvanjoi commented Jul 5, 2023 •

edited

Loading