Mirrors/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2026-05-08 09:38:26 +03:00
Code Issues Packages Projects Releases Wiki Activity
Files
5babeca9080daf17ba84bb0e496fbb0ef98adeae
rust/tests/ui/specialization
T
History
Esteban Küber 6efddac288 Provide more context on derived obligation error primary label 
Expand the primary span of E0277 when the immediate unmet bound is not what the user wrote:

```
error[E0277]: the trait bound `i32: Bar` is not satisfied
 --> f100.rs:6:6
  |
6 |     <i32 as Foo>::foo();
  |      ^^^ the trait `Bar` is not implemented for `i32`, which is required by `i32: Foo`
  |
help: this trait has no implementations, consider adding one
 --> f100.rs:2:1
  |
2 | trait Bar {}
  | ^^^^^^^^^
note: required for `i32` to implement `Foo`
 --> f100.rs:3:14
  |
3 | impl<T: Bar> Foo for T {}
  |         ---  ^^^     ^
  |         |
  |         unsatisfied trait bound introduced here
```

Fix #40120.
2024-01-30 21:28:18 +00:00
..
auxiliary
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
ctfe
Always use RevealAll for const eval queries
2024-01-19 11:32:34 +00:00
defaultimpl
Use single label for method not found due to unmet bound
2024-01-26 20:47:19 +00:00
min_specialization
Provide more context on derived obligation error primary label
2024-01-30 21:28:18 +00:00
soundness
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
allow_internal_unstable.rs
Fix allow_internal_unstable for (min_)specialization
2024-01-14 13:50:02 +00:00
assoc-ty-graph-cycle.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
assoc-ty-graph-cycle.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
const_trait_impl.rs
fix library and rustdoc tests
2023-04-16 11:38:52 +00:00
const_trait_impl.stderr
Introduce const Trait (always-const trait bounds)
2023-12-27 12:51:32 +01:00
cross-crate-defaults.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
cross-crate-defaults.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
default-associated-type-bound-1.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
default-associated-type-bound-1.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
default-associated-type-bound-2.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
default-associated-type-bound-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
default-generic-associated-type-bound.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
default-generic-associated-type-bound.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-33017.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-33017.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-35376.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-35376.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-36804.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-36804.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-38091-2.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-38091-2.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-38091.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-38091.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-39448.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-39448.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-39618.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-39618.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-40582.rs
add known-bug test for unsound issue 40582
2023-04-26 22:34:29 -04:00
issue-43037.current.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-43037.negative.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-43037.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-44861.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-44861.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-45814.current.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-45814.negative.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-45814.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-50452-fail.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-50452-fail.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-50452.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-50452.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-51892.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-51892.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-52050.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-52050.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-59435.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-59435.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-63716-parse-async.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-63716-parse-async.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-68830-spurious-diagnostics.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-68830-spurious-diagnostics.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
issue-70442.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-70442.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
issue-111232.rs
remove unnecessary attribute from a diagnostic
2023-05-05 17:28:52 +09:00
issue-111232.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
non-defaulted-item-fail.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
non-defaulted-item-fail.stderr
Fetch less HIR in signature check.
2023-02-14 20:26:03 +00:00
README-rpass.md
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
README.md
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-allowed-cross-crate.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-allowed-cross-crate.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-assoc-fns.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-assoc-fns.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-basics.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-basics.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-cross-crate-no-gate.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-cross-crate.rs
Adjust compiler tests for unused_tuple_struct_fields -> dead_code
2024-01-02 15:34:37 -05:00
specialization-cross-crate.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-items-drop-coherence.coherence.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
specialization-default-items-drop-coherence.next.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
specialization-default-items-drop-coherence.rs
update use of feature flags
2023-12-14 15:22:37 +01:00
specialization-default-methods.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-methods.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-projection.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-projection.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-types.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-default-types.stderr
Tweak expected message to explain what it's actually signifying
2023-09-23 00:57:17 +00:00
specialization-feature-gate-default.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-feature-gate-default.stderr
Bless tests
2024-01-13 12:46:58 -05:00
specialization-feature-gate-overlap.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-feature-gate-overlap.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
specialization-no-default.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-no-default.stderr
Fetch less HIR in signature check.
2023-02-14 20:26:03 +00:00
specialization-on-projection.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-on-projection.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-out-of-order.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-out-of-order.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap-hygiene.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap-hygiene.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
specialization-overlap-negative.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap-negative.stderr
Show number in error message even for one error
2023-11-24 19:15:52 +01:00
specialization-overlap-projection.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap-projection.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-overlap.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-polarity.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-polarity.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-projection-alias.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-projection-alias.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-projection.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-projection.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-supertraits.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-supertraits.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-translate-projections-with-lifetimes.rs
Adjust compiler tests for unused_tuple_struct_fields -> dead_code
2024-01-02 15:34:37 -05:00
specialization-translate-projections-with-lifetimes.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-translate-projections-with-params.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-translate-projections-with-params.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
specialization-translate-projections.rs
remove redundant imports
2023-12-10 10:56:22 +08:00
specialization-translate-projections.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
transmute-specialization.rs
Move /src/test to /tests
2023-01-11 09:32:08 +00:00
transmute-specialization.stderr
Move /src/test to /tests
2023-01-11 09:32:08 +00:00

README.md

This directory contains the test for incorrect usage of specialization that should lead to compile failure. Those tests break down into a few categories:

Reference in New Issue View Git Blame Copy Permalink