mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
os-rust/tests/ui/type
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
..
ascription Show number in error message even for one error 2023-11-24 19:15:52 +01:00
auxiliary
type-check Suggest = to == in more cases, even in the face of reference mismatch 2023-12-26 23:48:55 +00:00
binding-assigned-block-without-tail-expression.rs
binding-assigned-block-without-tail-expression.stderr
closure-with-wrong-borrows.rs
closure-with-wrong-borrows.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-58355.rs
issue-58355.stderr Provide more context on derived obligation error primary label 2024-01-30 21:28:18 +00:00
issue-67690-type-alias-bound-diagnostic-crash.rs
issue-67690-type-alias-bound-diagnostic-crash.stderr
issue-91268.rs Exit when there are unmatched delims to avoid noisy diagnostics 2023-02-28 07:55:19 +00:00
issue-91268.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-94187-verbose-type-name.rs rename to verbose-internals 2023-12-19 13:35:37 -05:00
issue-100584.rs
issue-100584.stderr
issue-101866.rs
issue-101866.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
issue-102598.rs
issue-102598.stderr
issue-103271.rs
issue-103271.stderr
missing-let-in-binding-2.fixed Suggest let for possible binding with ty 2023-05-08 10:56:20 +08:00
missing-let-in-binding-2.rs Suggest let for possible binding with ty 2023-05-08 10:56:20 +08:00
missing-let-in-binding-2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
missing-let-in-binding-3.rs fix ice in suggesting 2023-05-08 11:16:17 +08:00
missing-let-in-binding-3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
missing-let-in-binding-4.rs code refactor and fix wrong suggestion 2023-05-08 14:56:36 +08:00
missing-let-in-binding-4.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
missing-let-in-binding.fixed Rip it out 2023-05-01 16:15:13 +08:00
missing-let-in-binding.rs Rip it out 2023-05-01 16:15:13 +08:00
missing-let-in-binding.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
option-ref-advice.rs Rename tests/ui/issues/issue-100605.rs to ../type/option-ref-advice.rs 2023-08-05 15:36:19 +02:00
option-ref-advice.stderr Rename tests/ui/issues/issue-100605.rs to ../type/option-ref-advice.rs 2023-08-05 15:36:19 +02:00
subtyping-opaque-type.rs move subtyper change reveal_all 2023-10-05 18:56:30 +03:00
type-alias-bounds.rs
type-alias-bounds.stderr
type-annotation-needed.rs
type-annotation-needed.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-arg-out-of-scope.rs Generalize E0401 2023-09-10 23:06:14 +02:00
type-arg-out-of-scope.stderr Generalize E0401 2023-09-10 23:06:14 +02:00
type-ascription-instead-of-initializer.rs
type-ascription-instead-of-initializer.stderr Make removal suggestion not verbose 2023-02-14 20:22:10 +00:00
type-ascription-instead-of-statement-end.rs Rip it out 2023-05-01 16:15:13 +08:00
type-ascription-instead-of-statement-end.stderr soften the wording for removing type ascription 2023-05-01 16:37:00 +08:00
type-ascription-precedence.rs fix test cases 2023-05-01 16:15:17 +08:00
type-ascription-precedence.stderr fix test cases 2023-05-01 16:15:17 +08:00
type-ascription-soundness.rs
type-ascription-soundness.stderr Modify primary span label for E0308 2023-01-30 20:12:19 +00:00
type-ascription-with-fn-call.fixed Rip it out 2023-05-01 16:15:13 +08:00
type-ascription-with-fn-call.rs Rip it out 2023-05-01 16:15:13 +08:00
type-ascription-with-fn-call.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-ascription.rs
type-check-defaults.rs
type-check-defaults.stderr Don't sort strings right after we just sorted by types 2023-06-27 23:31:06 +00:00
type-dependent-def-issue-49241.rs Suppress "erroneous constant used" for constants tainted by errors 2023-05-15 00:00:00 +00:00
type-dependent-def-issue-49241.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-error-break-tail.rs
type-error-break-tail.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-mismatch-multiple.rs
type-mismatch-multiple.stderr
type-mismatch-same-crate-name.rs Modify primary span label for E0308 2023-01-30 20:12:19 +00:00
type-mismatch-same-crate-name.stderr Modify primary span label for E0308 2023-01-30 20:12:19 +00:00
type-mismatch.rs
type-mismatch.stderr recurse into refs when comparing tys for diagnostics 2023-12-07 23:00:46 -05:00
type-parameter-defaults-referencing-Self-ppaux.rs
type-parameter-defaults-referencing-Self-ppaux.stderr On object safety error, mention new enum as alternative 2023-10-29 23:55:46 +00:00
type-parameter-defaults-referencing-Self.rs
type-parameter-defaults-referencing-Self.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-parameter-names.rs
type-parameter-names.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-params-in-different-spaces-1.rs
type-params-in-different-spaces-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-params-in-different-spaces-2.rs
type-params-in-different-spaces-2.stderr
type-params-in-different-spaces-3.rs
type-params-in-different-spaces-3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-path-err-node-types.rs
type-path-err-node-types.stderr refactor(resolve): clean up the early error return caused by non-call 2023-05-10 22:35:01 +08:00
type-recursive-box-shadowed.rs
type-recursive-box-shadowed.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-recursive.rs
type-recursive.stderr
type-shadow.rs
type-shadow.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
type-unsatisfiable.rs
type-unsatisfiable.usage.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
verbose.normal.stderr don't elide shared parts of types in diagnostics when --verbose is passed 2023-12-24 16:47:18 -05:00
verbose.rs don't elide shared parts of types in diagnostics when --verbose is passed 2023-12-24 16:47:18 -05:00
verbose.verbose.stderr don't elide shared parts of types in diagnostics when --verbose is passed 2023-12-24 16:47:18 -05:00
wrong-call-return-type-due-to-generic-arg.rs
wrong-call-return-type-due-to-generic-arg.stderr diagnostics: update test cases to refer to assoc fn with self as method 2023-02-22 08:40:47 -07:00