| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-11-08 | Manually register some bounds for a better span | Michael Goulet | -0/+5 | |
| 2024-10-27 | Remove ObligationCause::span() method | Michael Goulet | -12/+7 | |
| 2024-10-27 | Stop using the whole match expr span for an arm's obligation span | Michael Goulet | -0/+2 | |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -1/+1 | |
| 2024-10-20 | Rip out old effects var handling code from traits | Michael Goulet | -6/+1 | |
| 2024-10-17 | move `defining_opaque_types` out of `Canonical` | lcnr | -11/+14 | |
| 2024-10-17 | `DropckOutlives` to `rustc_middle` | lcnr | -0/+8 | |
| 2024-10-17 | remove type_op constructors | lcnr | -25/+1 | |
| 2024-10-17 | `ImpliedOutlivesBounds` to `rustc_middle` | lcnr | -0/+8 | |
| 2024-10-12 | Swap PredicateObligation to ThinVec | GnomedDev | -4/+5 | |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -49/+55 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -4/+4 | |
| 2024-08-08 | Detect `*` operator on `!Sized` expression | Esteban Küber | -1/+1 | |
| ``` error[E0277]: the size for values of type `str` cannot be known at compilation time --> $DIR/unsized-str-in-return-expr-arg-and-local.rs:15:9 | LL | let x = *""; | ^ doesn't have a size known at compile-time | = help: the trait `Sized` is not implemented for `str` = note: all local variables must have a statically known size = help: unsized locals are gated as an unstable feature help: references are always `Sized`, even if they point to unsized data; consider not dereferencing the expression | LL - let x = *""; LL + let x = ""; | ``` | ||||
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -27/+26 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-07-12 | enable fuzzing of `SearchGraph` | lcnr | -125/+0 | |
| fully move it into `rustc_type_ir` and make it independent of `Interner`. | ||||
| 2024-07-07 | Get rid of the redundant elaboration in middle | Michael Goulet | -63/+0 | |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -1/+1 | |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -12/+10 | |
| 2024-06-18 | Uplift PredefinedOpaquesData | Michael Goulet | -9/+3 | |
| 2024-06-18 | Make SearchGraph fully generic | Michael Goulet | -18/+12 | |
| 2024-06-16 | Uplift ExternalConstraintData | Michael Goulet | -24/+5 | |
| 2024-06-16 | Make ExternalConstraints just carry outlives | Michael Goulet | -2/+1 | |
| 2024-06-16 | Uplift Reveal to rustc_type_ir | Michael Goulet | -48/+1 | |
| 2024-06-13 | Method resolution constrains hidden types instead of rejecting method candidates | Oli Scherer | -1/+1 | |
| 2024-06-12 | Stop passing traitref/traitpredicate by ref | Michael Goulet | -1/+1 | |
| 2024-06-06 | Uplift TypeError | Michael Goulet | -7/+0 | |
| 2024-06-06 | Make middle not rely on next_trait_solver | Michael Goulet | -4/+4 | |
| 2024-06-05 | Fully implement `ConstArgHasType` | Boxy | -0/+2 | |
| 2024-05-24 | remove proof tree formatter, make em shallow | lcnr | -3/+3 | |
| 2024-05-20 | move global cache lookup into fn | lcnr | -16/+18 | |
| 2024-05-18 | Uplift inspect into rustc_type_ir | Michael Goulet | -516/+14 | |
| 2024-05-18 | Uplift GenericArgKind, CanonicalVarValues, QueryInput | Michael Goulet | -31/+5 | |
| and make NestedGoals generic | ||||
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -27/+2 | |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -8/+8 | |
| 2024-05-13 | Use a proper probe for shadowing impl | Michael Goulet | -0/+5 | |
| 2024-05-11 | Consolidate obligation cause codes for where clauses | Michael Goulet | -16/+9 | |
| 2024-05-10 | Name tweaks | Michael Goulet | -7/+7 | |
| 2024-05-10 | More rename fallout | Michael Goulet | -18/+19 | |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -27/+20 | |
| 2024-05-10 | Remove glob imports for ObligationCauseCode | Michael Goulet | -11/+12 | |
| 2024-05-06 | Record impl args in the InsepctCandiate rather than rematching during select | Michael Goulet | -0/+5 | |
| 2024-05-02 | Higher ranked goal source, do overflow handling less badly | Michael Goulet | -0/+3 | |
| 2024-04-30 | Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-dead | Matthias Krüger | -2/+11 | |
| Remove many `#[macro_use] extern crate foo` items This requires the addition of more `use` items, which often make the code more verbose. But they also make the code easier to read, because `#[macro_use]` obscures where macros are defined. r? `@fee1-dead` | ||||
| 2024-04-29 | Take proof trees by value in inspect goal | Michael Goulet | -3/+3 | |
| 2024-04-29 | Only register candidate if it is associated w a shallow certainty | Michael Goulet | -4/+4 | |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -6/+9 | |
| 2024-04-29 | Remove `extern crate smallvec` from a couple of crates. | Nicholas Nethercote | -1/+1 | |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -1/+1 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+9 | |
| 2024-04-27 | Record certainty of evaluate_added_goals_and_make_canonical_response call in ↵ | Michael Goulet | -0/+9 | |
| candidate | ||||
 |
index : rust | |
| https://github.com/rust-lang/rust |
| summary refs log tree commit diff |