nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-02-19 02:13:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
788202a2ce
rust/tests/ui/traits
History
bors 1d4a7670d4 Auto merge of #131985 - compiler-errors:const-pred, r=fee1-dead 
Represent trait constness as a distinct predicate

cc `@rust-lang/project-const-traits`
r? `@ghost` for now

Also mirrored everything that is written below on this hackmd here: https://hackmd.io/`@compiler-errors/r12zoixg1l`

# Tl;dr:

* This PR removes the bulk of the old effect desugaring.
* This PR reimplements most of the effect desugaring as a new predicate and set of a couple queries. I believe it majorly simplifies the implementation and allows us to move forward more easily on its implementation.

I'm putting this up both as a request for comments and a vibe-check, but also as a legitimate implementation that I'd like to see land (though no rush of course on that last part).

## Background

### Early days

Once upon a time, we represented trait constness in the param-env and in `TraitPredicate`. This was very difficult to implement correctly; it had bugs and was also incomplete; I don't think this was anyone's fault though, it was just the limit of experimental knowledge we had at that point.

Dealing with `~const` within predicates themselves meant dealing with constness all throughout the trait solver. This was difficult to keep track of, and afaict was not handled well with all the corners of candidate assembly.

Specifically, we had to (in various places) remap constness according to the param-env constness:

574b64a97f/compiler/rustc_trait_selection/src/traits/select/mod.rs (L1498)

This was annoying and manual and also error prone.

### Beginning of the effects desugaring

Later on, #113210 reimplemented a new desugaring for const traits via a `<const HOST: bool>` predicate. This essentially "reified" the const checking and separated it from any of the remapping or separate tracking in param-envs. For example, if I was in a const-if-const environment, but I wanted to call a trait that was non-const, this reification would turn the constness mismatch into a simple *type* mismatch of the effect parameter.

While this was a monumental step towards straightening out const trait checking in the trait system, it had its own issues, since that meant that the constness of a trait (or any item within it, like an associated type) was *early-bound*. This essentially meant that `<T as Trait>::Assoc` was *distinct* from `<T as ~const Trait>::Assoc`, which was bad.

### Associated-type bound based effects desugaring

After this, #120639 implemented a new effects desugaring. This used an associated type to more clearly represent the fact that the constness is not an input parameter of a trait, but a property that could be computed of a impl. The write-up linked in that PR explains it better than I could.

However, I feel like it really reached the limits of what can comfortably be expressed in terms of associated type and trait calculus. Also, `<const HOST: bool>` remains a synthetic const parameter, which is observable in nested items like RPITs and closures, and comes with tons of its own hacks in the astconv and middle layer.

For example, there are pieces of unintuitive code that are needed to represent semantics like elaboration, and eventually will be needed to make error reporting intuitive, and hopefully in the future assist us in implementing built-in traits (eventually we'll want something like `~const Fn` trait bounds!).

elaboration hack: 8069f8d17a/compiler/rustc_type_ir/src/elaborate.rs (L133-L195)

trait bound remapping hack for diagnostics: 8069f8d17a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs (L2370-L2413)

I want to be clear that I don't think this is a issue of implementation quality or anything like that; I think it's simply a very clear sign that we're using types and traits in a way that they're not fundamentally supposed to be used, especially given that constness deserves to be represented as a first-class concept.

### What now?

This PR implements a new desugaring for const traits. Specifically, it introduces a `HostEffect` predicate to represent the obligation an impl is const, rather than using associated type bounds and the compat trait that exists for effects today.

### `HostEffect` predicate

A `HostEffect` clause has two parts -- the `TraitRef` we're trying to prove, and a `HostPolarity::{Maybe, Const}`.

`HostPolarity::Const` corresponds to `T: const Trait` bounds, which must *always* be proven as const, and which can be written in any context. These are lowered directly into the predicates of an item, since they're not "context-specific".

On the other hand, `HostPolarity::Maybe` corresponds to `T: ~const Trait` bounds which must only exist in a conditionally-const context like a method in a `#[const_trait]`, or a `const fn` free function. We do not lower these immediately into the predicates of an item; instead, we collect them into a new query called the **`const_conditions`**. These are the set of trait refs that we need to prove have const implementations for an item to be const.

Notably, they're represented as bare (poly) trait refs because they are meant to be paired back together with a `HostPolarity` when they're being registered in typeck (see next section).

For example, given:

```rust
const fn foo<T: ~const A + const B>() {}
```

`foo`'s const conditions would contain `T: A`, but not `T: B`. On the flip side, foo's predicates (`predicates_of`) query would contain `HostEffect(T: B, HostPolarity::Const)` but not `HostEffect(T: A, HostPolarity::Maybe)` since we don't need to prove that predicate in a non-const environment (and it's not even the right predicate to prove in an unconditionally const environment).

### Type checking const bodies

When type checking bodies in HIR, when we encounter a call expression, we additionally register the callee item's const conditions with the `HostPolarity` from the body we're typechecking (`Const` for unconditionally const things like `const`/`static` items, and `Maybe` for conditionally const things like const fns; and we don't register `HostPolarity` predicates for non-const bodies).

When type-checking a conditionally const body, we augment its param-env with `HostEffect(..., Maybe)` predicates.

### Checking that const impls are WF

We extend the logic in `compare_method_predicate_entailment` to also check the const-conditions of the impl method, to make sure that we error for:

```rust
#[const_trait] Bar {}
#[const_trait] trait Foo {
    fn method<T: Bar>();
}

impl Foo for () {
    fn method<T: ~const Bar>() {} // stronger assumption!
}
```

We also extend the WF check for impls to register the const conditions of the trait that is being implemented. This is to make sure we error for:

```rust
#[const_trait] trait Bar {}
#[const_trait] trait Foo<T> where T: ~const Bar {}

impl<T> const Foo<T> for () {}
//~^ `T: ~const Bar` is missing!
```

### Proving a `HostEffect` predicate

We have several ways of proving a `HostEffect` predicate:

1. Matching a `HostEffect` predicate from the param-env
2. From an impl - we do impl selection very similar to confirming a trait goal, except we filter for only const impls, and we additionally register the impl's const conditions (i.e. the impl's `~const` where clauses).

Later I expect that we will add more built-in implementations for things like `Fn`.

## What next?

After this PR, I'd like to split out the work more so it can proceed in parallel and probably amongst others that are not me.

* Register `HostEffect` goal for places in HIR typeck that correspond to call terminators, like autoderef.
* Make traits in libstd const again.
    * Probably need to impl host effect preds in old solver.
* Implement built-in `HostEffect` rules for traits like `Fn`.
* Rip out const checking from MIR altogether.

## So what?

This ends up being super convenient basically everywhere in the compiler. Due to the design of the new trait solver, we end up having an almost parallel structure to the existing trait and projection predicates for assembling `HostEffect` predicates; adding new candidates and especially new built-in implementations is now basically trivial, and it's quite straightforward to understand the confirmation logic for these predicates.

Same with diagnostics reporting; since we have predicates which represent the obligation to prove an impl is const, we can simplify and make these diagnostics richer without having to write a ton of logic to intercept and rewrite the existing `Compat` trait errors.

Finally, it gives us a much more straightforward path for supporting the const effect on the old trait solver. I'm personally quite passionate about getting const trait support into the hands of users without having to wait until the new solver lands[^1], so I think after this PR lands we can begin to gauge how difficult it would be to implement constness in the old trait solver too. This PR will not do this yet.

[^1]: Though this is not a prerequisite or by any means the only justification for this PR.
2024-10-24 17:33:42 +00:00
..
alias stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
associated_type_bound Revert suggestion verbosity change 2024-07-22 22:51:53 +00:00
auxiliary Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
bound Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
const-traits Be better at enforcing that const_conditions is only called on const items 2024-10-24 09:46:36 +00:00
default-method Add constness to TraitDef 2024-07-03 15:37:34 +00:00
error-reporting Consider param-env candidates even if they have errors 2024-10-24 01:48:44 +00:00
fn-pointer Add test for issue 28994 2024-10-07 16:30:47 +00:00
inductive-overflow Use root obligation on E0277 for some cases 2024-03-03 18:53:35 +00:00
inheritance Spell out other trait diagnostic 2024-06-12 12:34:47 +00:00
negative-bounds Bless tests 2024-10-15 20:42:17 -04:00
negative-impls Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
next-solver Deeply normalize type trace in type error reporting 2024-10-24 02:48:28 +00:00
non_lifetime_binders UI tests: Rename "object safe" to "dyn compatible" 2024-10-10 01:13:29 +02:00
object Never emit vptr for empty/auto traits 2024-10-18 12:34:56 +08:00
reservation-impl [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
solver-cycles stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
suggest-dereferences Don't call const normalize in error reporting 2024-09-22 13:55:06 -04:00
trait-upcasting Instantiate binders in supertrait_vtable_slot 2024-09-30 13:17:33 -04:00
vtable Never emit vptr for empty/auto traits 2024-10-18 12:34:56 +08:00
wf-object UI tests: Rename "object safe" to "dyn compatible" 2024-10-10 01:13:29 +02:00
alignment-gep-tup-like-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
anon_trait_static_method_exe.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
anon-static-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
as-struct-constructor.rs
as-struct-constructor.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assignability-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
assoc-type-hrtb-normalization-30472.rs Add test for issue 30472 2024-10-07 16:30:48 +00:00
assoc-type-in-superbad.rs
assoc-type-in-superbad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assoc-type-in-supertrait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
astconv-cycle-between-and-type.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
augmented-assignments-trait.rs Detect unused struct impls pub trait 2024-03-10 23:30:53 +08:00
bad-method-typaram-kind.rs
bad-method-typaram-kind.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
bad-sized.rs
bad-sized.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
bug-7183-generics.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
bug-7295.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cache-issue-18209.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cache-reached-depth-ice.rs update tests 2023-06-19 15:39:55 +02:00
cache-reached-depth-ice.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
coercion-generic-bad.rs
coercion-generic-bad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
coercion-generic-regions.rs
coercion-generic-regions.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
coercion-generic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
coercion.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
composition-trivial.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
conditional-dispatch.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
conditional-model-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
conservative_impl_trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
copy-guessing.rs Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
copy-guessing.stderr Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
copy-impl-cannot-normalize.rs
copy-impl-cannot-normalize.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
copy-is-not-modulo-regions.not_static.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
copy-is-not-modulo-regions.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
copy-requires-self-wf.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
custom-on-unimplemented-diagnostic.rs Report the note when specified in diagnostic::on_unimplemented 2024-09-10 23:05:36 +02:00
custom-on-unimplemented-diagnostic.stderr Report the note when specified in diagnostic::on_unimplemented 2024-09-10 23:05:36 +02:00
cycle-cache-err-60010.rs Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics 2024-01-02 14:17:56 +00:00
cycle-cache-err-60010.stderr Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics 2024-01-02 14:17:56 +00:00
cycle-generic-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cycle-type-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
deny-builtin-object-impl.current.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
deny-builtin-object-impl.next.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
deny-builtin-object-impl.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
dont-autoderef-ty-with-escaping-var.rs Use erased self type when autoderefing for trait error suggestion 2023-07-23 14:13:52 -04:00
dont-autoderef-ty-with-escaping-var.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.rs Don't Create ParamCandidate When Obligation Contains Errors 2024-03-12 15:27:08 -04:00
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.stderr Don't Create ParamCandidate When Obligation Contains Errors 2024-03-12 15:27:08 -04:00
duplicate-methods.rs
duplicate-methods.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
dyn-any-prefer-vtable.rs Rewrite select to use a ProofTreeVisitor 2024-05-01 14:19:34 -04:00
dyn-drop-principal.rs Add more tests 2024-10-18 00:33:50 +02:00
dyn-drop-principal.run.stdout Allow dropping dyn principal 2024-10-17 20:43:31 +02:00
dyn-star-drop-principal.rs Add more tests 2024-10-18 00:33:50 +02:00
dyn-star-drop-principal.stderr Add more tests 2024-10-18 00:33:50 +02:00
dyn-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
early-vtbl-resolution.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
elaborate-type-region.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
false-ambiguity-where-clause-builtin-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
fmt-pointer-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
fully-qualified-syntax-cast.rs test: Add test for trait in FQS cast, issue #98565 2024-10-21 11:45:19 +03:00
fully-qualified-syntax-cast.stderr test: Add test for trait in FQS cast, issue #98565 2024-10-21 11:45:19 +03:00
generic_param_mismatch_in_unsatisfied_projection.rs Mark all extraneous generic args as errors 2024-06-03 13:21:17 +00:00
generic_param_mismatch_in_unsatisfied_projection.stderr Mark all extraneous generic args as errors 2024-06-03 13:21:17 +00:00
generic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
hrtb-related-type-params-30867.rs Add test for issue 30867 2024-10-07 16:30:48 +00:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-with-dyn-pointee-errors.rs Add passing & failing test for bultin dyn trait generation 2023-06-27 17:52:26 +09:30
ice-with-dyn-pointee-errors.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
ice-with-dyn-pointee.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
ignore-err-impls.rs
ignore-err-impls.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl_trait_as_trait_return_position.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-1.rs
impl-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-bounds-checking.rs
impl-bounds-checking.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-can-not-have-untraitful-items.rs
impl-can-not-have-untraitful-items.stderr
impl-different-num-params.rs
impl-different-num-params.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-evaluation-order.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-for-module.rs
impl-for-module.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-implicit-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-inherent-prefer-over-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-inherent-prefer-over-trait.stderr Update tests 2024-02-07 10:42:01 +08:00
impl-method-mismatch.rs
impl-method-mismatch.stderr show fnsig's output when there is difference 2024-07-06 23:29:58 +08:00
impl-object-overlap-issue-23853.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-object-overlap-issue-23853.stderr Update tests 2024-02-07 10:42:01 +08:00
impl-of-supertrait-has-wrong-lifetime-parameters.rs
impl-of-supertrait-has-wrong-lifetime-parameters.stderr Stop sorting via DefIds in region resolution 2024-03-21 16:36:17 +00:00
impl.rs Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
impl.stderr Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
incoherent-impl-ambiguity.rs Separate collection of crate-local inherent impls from error reporting 2024-09-24 10:12:05 -04:00
incoherent-impl-ambiguity.stderr Separate collection of crate-local inherent impls from error reporting 2024-09-24 10:12:05 -04:00
infer-from-object-issue-26952.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
inherent-method-order.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-2611-3.rs Move tests 2024-04-07 17:38:07 -03:00
issue-3683.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-3973.rs
issue-3973.stderr
issue-3979-generics.rs Move tests 2024-03-03 16:30:48 -03:00
issue-4107.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-5008-borrowed-traitobject-method-call.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-6128.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-6128.stderr Update tests 2024-02-07 10:42:01 +08:00
issue-6334.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-7013.rs
issue-7013.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-8153.rs
issue-8153.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-9394-inherited-calls.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-15155.rs Move tests 2024-03-03 16:30:48 -03:00
issue-18400.rs
issue-18400.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-18412.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-20692.rs
issue-20692.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-21837.rs Move tests 2024-03-03 16:30:48 -03:00
issue-21837.stderr Move tests 2024-03-03 16:30:48 -03:00
issue-22019.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-22110.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-22384.rs
issue-22384.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-22655.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-23003-overflow.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-23003.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-23825.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-24010.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-26339.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-28576.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
issue-28576.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-32963.rs
issue-32963.stderr
issue-33096.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-33140-hack-boundaries.rs
issue-33140-hack-boundaries.stderr Do not point at #[allow(_)] as the reason for compat lint triggering 2024-02-13 20:27:43 +00:00
issue-33140.rs Continue compilation even if inherent impl checks fail 2024-02-14 21:04:51 +00:00
issue-33140.stderr Continue compilation even if inherent impl checks fail 2024-02-14 21:04:51 +00:00
issue-33187.rs Detect unused struct impls pub trait 2024-03-10 23:30:53 +08:00
issue-35869.rs
issue-35869.stderr Use verbose suggestion for changing arg type 2024-07-05 20:58:33 +00:00
issue-38033.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-38033.stderr Update tests 2024-02-07 10:42:01 +08:00
issue-38404.rs Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
issue-38404.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-38604.rs
issue-38604.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-40085.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43132.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43784-supertrait.rs
issue-43784-supertrait.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-50480.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-50480.stderr Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-52893.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52893.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-56202.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-56488.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-58344.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-59029-1.rs
issue-59029-1.stderr Tweak wording 2023-10-13 19:18:46 +00:00
issue-59029-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-65284-suggest-generic-trait-bound.rs
issue-65284-suggest-generic-trait-bound.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-65673.rs
issue-65673.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-66768.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-68295.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-68295.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-70944.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-71036.rs
issue-71036.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-71136.rs
issue-71136.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-72410.rs
issue-72410.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-72455.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-75627.rs
issue-75627.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-77982.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-77982.stderr Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
issue-78372.rs Replace item names containing an error code with something more meaningful 2024-04-30 22:27:19 +02:00
issue-78372.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-78632.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-79458.rs
issue-79458.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-82830.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-83538-tainted-cache-after-cycle.rs update tests 2023-06-19 15:39:55 +02:00
issue-83538-tainted-cache-after-cycle.stderr update tests 2023-06-19 15:39:55 +02:00
issue-84399-bad-fresh-caching.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-85360-eval-obligation-ice.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-85360-eval-obligation-ice.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
issue-85735.rs
issue-85735.stderr Add print_trait_sugared 2023-12-05 17:15:46 +00:00
issue-87558.rs Rename HIR TypeBinding to AssocItemConstraint and related cleanup 2024-05-30 22:52:33 +02:00
issue-87558.stderr Auto merge of #125778 - estebank:issue-67100, r=compiler-errors 2024-06-03 08:14:03 +00:00
issue-89119.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90195-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90195.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90662-projection-caching.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-91594.rs
issue-91594.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-91949-hangs-on-recursion.rs Gate the type length limit check behind a nightly flag 2024-07-12 21:16:09 -04:00
issue-91949-hangs-on-recursion.stderr Gate the type length limit check behind a nightly flag 2024-07-12 21:16:09 -04:00
issue-92292.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95311.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95898.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95898.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-96664.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-96665.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-97576.rs
issue-97576.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-97695-double-trivial-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-103563.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-104322.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-105231.rs stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
issue-105231.stderr stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
issue-106072.rs Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
issue-106072.stderr Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
issue-117794.rs skip rpit constraint check if borrowck return type error 2023-12-17 16:49:00 +08:00
issue-117794.stderr Consider methods from traits when suggesting typos 2024-02-22 18:04:55 +00:00
item-inside-macro.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
item-privacy.rs
item-privacy.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
kindck-owned-contains-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
make-sure-to-filter-projections-by-def-id.rs Check def id before calling match_projection_projections 2024-04-04 16:01:13 -04:00
map-types.rs
map-types.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
matching-lifetimes.rs
matching-lifetimes.stderr Stop sorting via DefIds in region resolution 2024-03-21 16:36:17 +00:00
maybe-polarity-pass.rs Support ?Trait bounds in supertraits and dyn Trait under a feature gate 2024-07-25 20:53:33 +03:00
maybe-polarity-pass.stderr Support ?Trait bounds in supertraits and dyn Trait under a feature gate 2024-07-25 20:53:33 +03:00
maybe-polarity-repeated.rs Forbid ?Trait bounds repetitions 2024-07-26 16:35:05 +03:00
maybe-polarity-repeated.stderr Forbid ?Trait bounds repetitions 2024-07-26 16:35:05 +03:00
method-argument-mismatch-variance-ice-119867.rs Taint _ placeholder types 2024-01-12 16:33:29 +00:00
method-argument-mismatch-variance-ice-119867.stderr Taint _ placeholder types 2024-01-12 16:33:29 +00:00
method-on-unbounded-type-param.rs Add test for method on unbounded type parameter receiver 2024-01-30 19:07:18 +00:00
method-on-unbounded-type-param.stderr Implement BOXED_SLICE_INTO_ITER 2024-05-20 19:21:30 -04:00
method-private.rs
method-private.stderr Tweak wording of "implemented trait isn't imported" suggestion 2024-02-22 18:05:27 +00:00
missing-for-type-in-impl.e2015.stderr Account for impl Trait { when impl Trait for Type { was intended 2024-10-04 22:59:03 +00:00
missing-for-type-in-impl.e2021.stderr Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
missing-for-type-in-impl.rs Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
monad.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
monomorphized-callees-with-ty-params-3314.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch-bad.rs
multidispatch-bad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
multidispatch-conditional-impl-not-considered.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch-conditional-impl-not-considered.stderr Update tests 2024-02-07 10:42:01 +08:00
multidispatch-convert-ambig-dest.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
multidispatch-convert-ambig-dest.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
multidispatch-infer-convert-target.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch-infer-convert-target.stderr Update tests 2024-02-07 10:42:01 +08:00
mutual-recursion-issue-75860.rs Check closure args and returns are WF 2024-04-25 10:03:17 -04:00
mutual-recursion-issue-75860.stderr Check closure args and returns are WF 2024-04-25 10:03:17 -04:00
no_send-struct.rs
no_send-struct.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
no-fallback-multiple-impls.rs
no-fallback-multiple-impls.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
non-lifetime-via-dyn-builtin.current.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
non-lifetime-via-dyn-builtin.next.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
non-lifetime-via-dyn-builtin.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
normalize-conflicting-impls.rs Fix an ICE in the recursion lint 2024-02-16 09:29:39 +00:00
normalize-conflicting-impls.stderr Fix an ICE in the recursion lint 2024-02-16 09:29:39 +00:00
normalize-supertrait.rs Prefer lower vtable candidates in select in new solver 2024-05-06 10:48:39 -04:00
not-suggest-non-existing-fully-qualified-path.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
not-suggest-non-existing-fully-qualified-path.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
object-does-not-impl-trait.rs
object-does-not-impl-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
object-one-type-two-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
objects-owned-object-borrowed-method-headerless.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
on_unimplemented_long_types.rs Display short types for unimplemented trait 2024-02-28 14:13:42 +00:00
on_unimplemented_long_types.stderr Avoid silently writing to a file when the involved ty is long 2024-03-01 19:02:34 +00:00
operator-overloading-issue-52025.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overflow-computing-ambiguity.rs Discard overflow obligations in impl_may_apply 2024-04-07 23:21:45 -04:00
overflow-computing-ambiguity.stderr Discard overflow obligations in impl_may_apply 2024-04-07 23:21:45 -04:00
overlap-not-permitted-for-builtin-trait.rs
overlap-not-permitted-for-builtin-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
overlap-permitted-for-marker-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
param-without-lifetime-constraint.rs
param-without-lifetime-constraint.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
parameterized-with-bounds.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-deduction.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-normalize-equate.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-tail-is-generic-errors.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-tail-is-generic-errors.stderr
pointee-tail-is-generic.rs Mark some next-solver-behavior tests explicitly with revisions 2024-03-10 23:23:46 -04:00
pred-known-to-hold-modulo-regions-unsized-tail.rs add non-regression test for issue 123275 2024-04-06 23:25:58 +00:00
principal-less-objects.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
privacy.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
project-modulo-regions.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
project-modulo-regions.with_clause.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
project-modulo-regions.without_clause.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
question-mark-result-err-mismatch.rs Reduce verbosity of error 2023-12-05 22:24:33 +00:00
question-mark-result-err-mismatch.stderr Don't call const normalize in error reporting 2024-09-22 13:55:06 -04:00
region-pointer-simple.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
resolution-in-overloaded-op.rs
resolution-in-overloaded-op.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
safety-fn-body.rs Remove revisions for THIR unsafeck 2024-01-05 09:30:27 +00:00
safety-fn-body.stderr Stabilize THIR unsafeck 2024-01-05 10:00:59 +00:00
safety-inherent-impl.rs
safety-inherent-impl.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
safety-ok-cc.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-ok.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-trait-impl-cc.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-trait-impl-cc.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
safety-trait-impl.rs
safety-trait-impl.stderr
self-without-lifetime-constraint.rs Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
self-without-lifetime-constraint.stderr Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
sized-coniductive.rs Regression test for #129541 2024-09-11 00:17:38 -05:00
span-bug-issue-121414.rs make type_flags(ReError) & HAS_ERROR 2024-03-20 17:29:58 +00:00
span-bug-issue-121414.stderr make type_flags(ReError) & HAS_ERROR 2024-03-20 17:29:58 +00:00
stack-error-order-dependence-2.rs Add regression tests for 123303 2024-03-31 21:03:59 -04:00
stack-error-order-dependence.rs Add regression tests for 123303 2024-03-31 21:03:59 -04:00
static-method-generic-inference.rs
static-method-generic-inference.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
static-method-overwriting.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
static-outlives-a-where-clause.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
staticness-mismatch.rs
staticness-mismatch.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
subtype-recursion-limit.rs change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
subtype-recursion-limit.stderr change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
suggest-fully-qualified-closure.rs Replace closures with _ when suggesting fully qualified path for method call 2024-03-21 00:07:44 +00:00
suggest-fully-qualified-closure.stderr Replace closures with _ when suggesting fully qualified path for method call 2024-03-21 00:07:44 +00:00
suggest-fully-qualified-path-with-adjustment.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-fully-qualified-path-with-adjustment.stderr Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-fully-qualified-path-without-adjustment.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-fully-qualified-path-without-adjustment.stderr Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-where-clause.rs
suggest-where-clause.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
superdefault-generics.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
syntax-polarity.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
syntax-trait-polarity.rs
syntax-trait-polarity.stderr
test-2.rs
test-2.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
test.rs
test.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
to-str.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
track-obligations.rs
track-obligations.stderr Use fulfillment, not evaluate, during method probe 2024-04-21 20:10:12 -04:00
trait-object-lifetime-default-note.rs replace "cast" with "coercion" where applicable 2024-09-24 22:20:46 +02:00
trait-object-lifetime-default-note.stderr replace "cast" with "coercion" where applicable 2024-09-24 22:20:46 +02:00
trait-or-new-type-instead.rs
trait-or-new-type-instead.stderr Remove stray . from error message 2024-06-21 21:13:10 +00:00
trait-selection-ice-84727.rs add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not 2024-03-25 20:20:01 +01:00
trait-selection-ice-84727.stderr add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not 2024-03-25 20:20:01 +01:00
trivial_impl2.rs Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl3.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
trivial_impl3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl4.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
trivial_impl4.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl_sized.rs Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl_sized.stderr Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl.rs Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
typeclasses-eq-example-static.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
typeclasses-eq-example.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
ufcs-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unsend-future.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unsend-future.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
unspecified-self-in-trait-ref.rs
unspecified-self-in-trait-ref.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
upcast_reorder.rs Never emit vptr for empty/auto traits 2024-10-18 12:34:56 +08:00
upcast_soundness_bug.rs improve errors for invalid pointer casts 2024-09-24 23:12:02 +02:00
upcast_soundness_bug.stderr improve errors for invalid pointer casts 2024-09-24 23:12:02 +02:00
use-before-def.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
vtable-res-trait-param.rs
vtable-res-trait-param.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
well-formed-recursion-limit.rs change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
well-formed-recursion-limit.stderr change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
where-clause-vs-impl.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
with-bounds-default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
with-dst.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
wrong-mul-method-signature.rs
wrong-mul-method-signature.stderr Use verbose suggestion for changing arg type 2024-07-05 20:58:33 +00:00