about summary refs log tree commit diff
path: root/src/test/ui/coherence/coherence-impls-send.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-43/+0
2022-06-22Perform coherence checking per impl.Camille GILLOT-11/+11
2021-11-10no overlap errors after failing the orphan checklcnr-13/+2
2021-04-06Remove trailing `:` from E0119 messageEsteban Küber-1/+1
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-1/+1
2020-09-02pretty: trim paths of unique symbolsDan Aloni-4/+4
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-02-04Remove the `overlapping_marker_traits` featureAaron Hill-6/+17
See #29864 This has been replaced by `#[feature(marker_trait_attr)]` A few notes: * Due to PR #68057 not yet being in the bootstrap compiler, it's necessary to continue using `#![feature(overlapping_marker_traits)]` under `#[cfg(bootstrap)]` to work around type inference issues. * I've updated tests that used `overlapping_marker_traits` to now use `marker_trait_attr` where applicable The test `src/test/ui/overlap-marker-trait.rs` doesn't make any sense now that `overlapping_marker_traits`, so I removed it. The test `src/test/ui/traits/overlap-permitted-for-marker-traits-neg.rs` now fails, since it's no longer possible to have multiple overlapping negative impls of `Send`. I believe that this is the behavior we want (assuming that `Send` is not going to become a `#[marker]` trait, so I renamed the test to `overlap-permitted-for-marker-traits-neg`
2019-10-31Stabilize the `re_rebalance_coherence` featureOhad Ravid-0/+43
2019-01-03Add missing filesGeorg Semmler-37/+0
2018-12-25Remove licensesMark Rousskov-4/+4
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+37