| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-01-30 | Provide more context on derived obligation error primary label | Esteban Küber | -3/+3 | |
| 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 | Rollup merge of #120400 - estebank:bound-error-cleanup, r=oli-obk | Guillaume Gomez | -4/+1 | |
| Bound errors span label cleanup Consolidate span labels for "this type doesn't satisfy a bound" for more compact diagnostic output. | ||||
| 2024-01-26 | Use single label for method not found due to unmet bound | Esteban Küber | -4/+1 | |
| 2024-01-23 | Remove track_errors entirely | Oli Scherer | -21/+2 | |
| 2024-01-22 | Make generic const type mismatches not hide trait impls from the trait solver | Oli Scherer | -4/+20 | |
| 2024-01-20 | Auto merge of #119821 - oli-obk:reveal_all_const_evals, r=lcnr | bors | -0/+69 | |
| Always use RevealAll for const eval queries implements what is described in https://github.com/rust-lang/rust/pull/116803#discussion_r1364089471 Using `UserFacing` for const eval does not make sense anymore, unless we significantly change things like avoiding revealing opaque types. New tests are copied from https://github.com/rust-lang/rust/pull/101478 | ||||
| 2024-01-19 | Always use RevealAll for const eval queries | Oli Scherer | -0/+69 | |
| 2024-01-15 | Rollup merge of #119963 - clubby789:spec-allow-internal-unstable, ↵ | Matthias Krüger | -0/+18 | |
| r=compiler-errors Fix `allow_internal_unstable` for `(min_)specialization` Fixes #119950 Blocked on #119949 (comment doesn't make sense until that merges) I'd like to follow this up and look for more instances of not properly checking spans for features but I wanted to fix the motivating issue. | ||||
| 2024-01-14 | Fix `allow_internal_unstable` for `(min_)specialization` | clubby789 | -0/+18 | |
| 2024-01-13 | Bless tests | George-lewis | -0/+2 | |
| Update tests | ||||
| 2024-01-05 | Auto merge of #118297 - shepmaster:warn-dead-tuple-fields, r=WaffleLapkin | bors | -2/+2 | |
| Merge `unused_tuple_struct_fields` into `dead_code` This implicitly upgrades the lint from `allow` to `warn` and places it into the `unused` lint group. [Discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/Moving.20.60unused_tuple_struct_fields.60.20from.20allow.20to.20warn) | ||||
| 2024-01-02 | Adjust compiler tests for unused_tuple_struct_fields -> dead_code | Jake Goulding | -2/+2 | |
| 2024-01-02 | Reorder `check_item_type` diagnostics so they occur next to the ↵ | Oli Scherer | -4/+4 | |
| corresponding `check_well_formed` diagnostics | ||||
| 2023-12-27 | Introduce `const Trait` (always-const trait bounds) | León Orell Valerian Liehr | -3/+3 | |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 | |
| 2023-12-10 | remove redundant imports | surechen | -1/+0 | |
| detects redundant imports that can be eliminated. for #117772 : In order to facilitate review and modification, split the checking code and removing redundant imports code into two PR. | ||||
| 2023-11-24 | Show number in error message even for one error | Nilstrieb | -40/+40 | |
| Co-authored-by: Adrian <adrian.iosdev@gmail.com> | ||||
| 2023-10-25 | Work around the fact that `check_mod_type_wf` may spuriously return ↵ | Oli Scherer | -1/+14 | |
| `ErrorGuaranteed`, even if that error is only emitted by `check_modwitem_types` | ||||
| 2023-10-09 | Extend impl's def_span to include where clauses | Michael Goulet | -4/+6 | |
| 2023-09-23 | Tweak expected message to explain what it's actually signifying | Michael Goulet | -1/+1 | |
| 2023-09-10 | Point out if a local trait has no implementations | Michael Goulet | -0/+5 | |
| 2023-06-28 | Adjust inner span of implicit self ref argument | Michael Goulet | -2/+2 | |
| 2023-06-06 | bless coherence test | Michael Goulet | -2/+31 | |
| 2023-05-09 | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | -0/+187 | |
| Min specialization improvements - Don't allow specialization impls with no items, such implementations are probably not correct and only occur as mistakes in the compiler and standard library - Fix a missing normalization call - Adds spans for lifetime errors from overly general specializations Closes #79457 Closes #109815 | ||||
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -0/+77 | |
| Add an obligation cause for these error so that the error points to the implementations that caused the error. | ||||
| 2023-05-05 | Normalize consistently for specializations | Matthew Jasper | -0/+82 | |
| 2023-05-05 | Disallow (min) specialization imps with no items | Matthew Jasper | -0/+28 | |
| Such implementations are usually mistakes and are not used in the compiler or standard library (after this commit) so forbid them with `min_specialization`. | ||||
| 2023-05-05 | remove unnecessary attribute from a diagnostic | Takayuki Maeda | -0/+22 | |
| 2023-04-26 | add known-bug test for unsound issue 105782 | whtahy | -0/+30 | |
| 2023-04-26 | add known-bug test for unsound issue 40582 | whtahy | -0/+35 | |
| 2023-04-16 | fix library and rustdoc tests | Deadbeef | -1/+22 | |
| 2023-04-12 | Tweak output for 'add line' suggestion | Esteban Küber | -1/+2 | |
| 2023-03-23 | Note type mismatch on ConstArgHasType | Michael Goulet | -1/+1 | |
| 2023-03-19 | Delay overlap errors if errors are involved | Michael Goulet | -7/+10 | |
| 2023-03-19 | Constrain const vars to error if const types are mismatched | Michael Goulet | -4/+4 | |
| 2023-03-09 | Use param's real type in try_eval_lit_or_param | Michael Goulet | -0/+23 | |
| 2023-02-14 | Fetch less HIR in signature check. | Camille GILLOT | -17/+17 | |
| 2023-01-30 | Modify primary span label for E0308 | Esteban Küber | -2/+2 | |
| The previous output was unintuitive to users. | ||||
| 2023-01-12 | Only point at impl self ty in WF if trait predicate shares self ty | Michael Goulet | -2/+2 | |
| 2023-01-12 | Point at impl self type for impl wf obligations | Michael Goulet | -2/+2 | |
| 2023-01-12 | Point at HIR types when impl trait ref doesn't normalize | Michael Goulet | -2/+2 | |
| 2023-01-11 | Note predicate span on ImplDerivedObligation | Michael Goulet | -1/+9 | |
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -0/+4009 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |