index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_traits
/
src
/
codegen.rs
Age
Commit message (
Collapse
)
Author
Lines
2024-11-18
use `TypingEnv` when no `infcx` is available
lcnr
-4
/
+5
the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`.
2024-10-29
TypingMode :thinking:
lcnr
-2
/
+2
2024-09-03
Add `warn(unreachable_pub)` to `rustc_traits`.
Nicholas Nethercote
-1
/
+1
2024-07-21
Move all error reporting into rustc_trait_selection
Michael Goulet
-1
/
+1
2024-07-09
Split out overflow handling into its own module
Michael Goulet
-1
/
+1
2024-07-08
Move trait selection error reporting to its own top-level module
Michael Goulet
-1
/
+1
2024-06-03
Add cycle errors to ScrubbedTraitError to remove a couple more calls to ↵
Michael Goulet
-4
/
+4
new_with_diagnostics
2024-06-03
Move FulfillmentErrorCode to rustc_trait_selection too
Michael Goulet
-2
/
+2
2024-06-03
Opt-in diagnostics reporting to avoid doing extra work in the new solver
Michael Goulet
-1
/
+2
2024-05-02
Use ObligationCtxt in favor of TraitEngine in many places
Michael Goulet
-7
/
+6
2024-04-30
Remove `extern crate tracing` from numerous crates.
Nicholas Nethercote
-0
/
+1
2024-04-29
Remove `extern crate rustc_middle` from numerous crates.
Nicholas Nethercote
-0
/
+1
2024-03-07
Merge `check_mod_impl_wf` and `check_mod_type_wf`
Oli Scherer
-1
/
+8
2024-01-12
Remove redundant Code from FulfillmentErrorCode variants
Michael Goulet
-1
/
+1
2023-07-06
get rid of a bit more calls to poly_select
Michael Goulet
-2
/
+2
2023-07-06
Separate select calls that don't need a binder
Michael Goulet
-1
/
+1
2023-06-27
Remove unnecessary DefineOpaqueTypes::Bubble from codegen
Michael Goulet
-13
/
+2
2023-06-06
Make TraitEngine::new use the right solver, add compare mode
Michael Goulet
-1
/
+1
2023-05-25
Move DefiningAnchor
Michael Goulet
-2
/
+2
2023-01-27
Separate trait selection from ambiguity reporting.
Camille GILLOT
-1
/
+1
2023-01-17
Remove double spaces after dots in comments
Maybe Waffle
-1
/
+1
2023-01-09
Assert defining anchor is set in take_opaque_types
Michael Goulet
-1
/
+1
2022-12-08
Move codegen_select_candidate to a rustc_traits
Michael Goulet
-0
/
+88