Thanks to visit codestin.com
Credit goes to chromium.googlesource.com
Sign in
chromium
/
external
/
github.com
/
rust-lang
/
rust
/
HEAD
/
compiler
/
rustc_infer
3634f46
Add alias for ArgOutlivesPredicate
by Michael Goulet
· 4 days ago
512cf3a
Gate things properly
by Michael Goulet
· 4 days ago
e3f643c
Consider outlives assumptions when proving auto traits for coroutine interiors
by Michael Goulet
· 4 days ago
f6f2f83
Simplify make_query_region_constraints
by Michael Goulet
· 6 days ago
c2c9aad
Make sure that users don't take region obligations in a snapshot
by Michael Goulet
· 6 days ago
3b48407
Remove unused allow attrs
by Yotam Ofek
· 12 days ago
d79b669
Fix pretty printing of placeholder types
by Michael Goulet
· 2 weeks ago
e851e3e
Update `cfg(bootstrap)`
by Josh Stone
· 3 weeks ago
ed16ae8
Do not freshen ReError
by Michael Goulet
· 3 weeks ago
df32e15
Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr
by bors
· 3 weeks ago
e61dd43
Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errors
by bors
· 3 weeks ago
25e239c
Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr
by Michael Goulet
· 3 weeks ago
59e1a3c
Simplify IfCause
by Michael Goulet
· 3 weeks ago
c995070
rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc
by Michael Goulet
· 3 weeks ago
44254c8
Remove some glob imports from the type system
by Michael Goulet
· 3 weeks ago
8304435
Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation
by Michael Goulet
· 3 weeks ago
b8ef885
Introduce trivial WF functions, use it in fast path
by Michael Goulet
· 4 weeks ago
04a2eec
Cache instantiation of canonical binder
by Michael Goulet
· 4 weeks ago
a1a3bef
Implement lint against direct uses of rustc_type_ir in compiler crates
by Romain Perier
· 4 weeks ago
bdb04d6
Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwU
by bors
· 5 weeks ago
2b0274c
Auto merge of #142090 - compiler-errors:perf-stable-root-var, r=lcnr
by bors
· 5 weeks ago
9223704
Remove all unused feature gates from the compiler
by bjorn3
· 6 weeks ago
7c3cb56
Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwU
by Guillaume Gomez
· 6 weeks ago
aa1b296
Unify normalization of terms in deeply normalize
by Michael Goulet
· 6 weeks ago
e1567df
Make root vars more stable
by Michael Goulet
· 6 weeks ago
7dac755
`FIXME(-Znext-solver)` triage
by lcnr
· 7 weeks ago
3418d5d
Fast path for stalled obligations on self ty
by Michael Goulet
· 7 weeks ago
5f025f3
Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errors
by bors
· 7 weeks ago
5f3ae06
Fix some var names
by Michael Goulet
· 8 weeks ago
29c3bab
Rename unpack to kind
by Michael Goulet
· 8 weeks ago
2805e1d
Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxu
by bors
· 8 weeks ago
c56efae
add additional `TypeFlags` fast paths
by lcnr
· 8 weeks ago
aa99782
Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr
by 许杰友 Jieyou Xu (Joe)
· 8 weeks ago
40d2563
Auto merge of #141500 - compiler-errors:rerun-cache-2, r=lcnr
by bors
· 8 weeks ago
9c0bcb5
Auto merge of #141442 - compiler-errors:fast-path-pred, r=lcnr
by bors
· 8 weeks ago
e2215a8
Don't rerun goals if none of its vars have changed
by Michael Goulet
· 8 weeks ago
9d742ee
Rename
by Michael Goulet
· 8 weeks ago
3efd885
Avoid obligation construction dance with query region constraints
by Michael Goulet
· 8 weeks ago
84a3255
Fast path fold_predicate in old canonicalizer
by Michael Goulet
· 8 weeks ago
7820d2c
Don't use relation just to equate regions in response
by Michael Goulet
· 8 weeks ago
326b7e9
yeet `CanonicalVarInfo`
by lcnr
· 8 weeks ago
98cdb82
Fast path for register_region_obligation
by Michael Goulet
· 9 weeks ago
2ce08ca
update cfg(bootstrap)
by Pietro Albini
· 10 weeks ago
aace488
Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errors
by Matthias Krüger
· 2 months ago
e7979ea
detect additional uses of opaques after writeback
by lcnr
· 2 months ago
fc0ef54
opaque_type_storage to InferCtxtLike
by lcnr
· 2 months ago
df13f7c
Require T: TypeFoldable in Binder<T> visit
by Michael Goulet
· 2 months ago
bda326f
Rollup merge of #140607 - lcnr:opaque-type-storage, r=compiler-errors
by Jacob Pratt
· 2 months ago
431f02d
support duplicates in the opaque_types_storage
by lcnr
· 2 months ago
9e7fb67
Rename `graph::implementation::Graph` to `LinkedGraph`
by Zalathar
· 2 months ago
224e3ca
Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errors
by Guillaume Gomez
· 2 months ago
6970813
Use less rustc_type_ir in the compiler codebase
by Romain Perier
· 3 months ago
238d113
Set groundwork for proper const normalization
by Boxy
· 3 months ago
7843686
Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk
by Guillaume Gomez
· 3 months ago
855035b
convert some `GenericArg` to `Term`
by lcnr
· 3 months ago
564e5cc
Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnr
by Matthias Krüger
· 3 months ago
bdfeb8f
Remove `weak` alias terminology
by Boxy
· 3 months ago
f943f73
More
by Michael Goulet
· 3 months ago
7493e1c
Make #![feature(let_chains)] bootstrap conditional in compiler/
by est31
· 3 months ago
169955f
Properly drain pending obligations for coroutines
by Michael Goulet
· 3 months ago
efb1e3d
Auto merge of #139768 - compiler-errors:split-fold, r=lcnr
by bors
· 3 months ago
4b63362
Use `newtype_index!`-generated types more idiomatically
by Yotam Ofek
· 3 months ago
13b4734
Derive Obligation's fold impls
by Michael Goulet
· 3 months ago
c7272a6
clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`
by xizheyin
· 3 months ago
17ffbc8
Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk
by bors
· 4 months ago
64b58dd
Pass correct param-env to error_implies
by Michael Goulet
· 4 months ago
509a144
add `TypingMode::Borrowck`
by lcnr
· 4 months ago
cb275d4
simplify Interner opaque types API
by lcnr
· 4 months ago
575f129
Obligation::as_goal
by Michael Goulet
· 4 months ago
e5a2220
Fold visit into ty
by Michael Goulet
· 4 months ago
dc0cdfd
Squash fold into ty
by Michael Goulet
· 4 months ago
ff0a5fe
Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.
by Nicholas Nethercote
· 4 months ago
063ef18
Revert "Use workspace lints for crates in `compiler/` #138084"
by 许杰友 Jieyou Xu (Joe)
· 4 months ago
8a3e033
Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.
by Nicholas Nethercote
· 4 months ago
beba32c
Specify rust lints for `compiler/` crates via Cargo.
by Nicholas Nethercote
· 4 months ago
8282181
Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver
by Michael Goulet
· 5 months ago
6aa015a
Rollup merge of #136610 - Jarcho:range_idx, r=Noratrieb
by Jacob Pratt
· 5 months ago
12e3911
Greatly simplify lifetime captures in edition 2024
by Michael Goulet
· 5 months ago
76d341f
Upgrade the compiler to edition 2024
by Michael Goulet
· 5 months ago
162fb71
Allow SliceIndex to be indexed by ranges.
by Jason Newcomb
· 5 months ago
1f6c75e
Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnr
by Matthias Krüger
· 5 months ago
3a04ec8
Rollup merge of #137302 - compiler-errors:stray-drop-regions, r=matthewjasper
by Matthias Krüger
· 5 months ago
e2e4d0b
Remove an unnecessary re-export.
by Nicholas Nethercote
· 5 months ago
d4609f8
Use a probe to avoid registering stray region obligations when re-checking drops in MIR typeck
by Michael Goulet
· 5 months ago
b78c626
Make fewer crates depend on rustc_ast_ir
by Michael Goulet
· 5 months ago
1fcae03
Rustfmt
by bjorn3
· 5 months ago
d17a4a7
Add opt_alias_variances and use it in outlives code
by Michael Goulet
· 5 months ago
4e763c2
Pass spans around new solver
by Michael Goulet
· 5 months ago
000f8c4
Move `unify_key` module.
by Nicholas Nethercote
· 6 months ago
c37fbd8
Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnr
by bors
· 6 months ago
10fc0b1
introduce `ty::Value`
by Lukas Markeffsky
· 6 months ago
739ef83
Normalize vtable entries before walking and deduplicating them
by Michael Goulet
· 6 months ago
5a45ab9
Auto merge of #136038 - compiler-errors:outlives, r=lcnr
by bors
· 6 months ago
8e0909d
Move param env bound deep normalization to OutlivesEnvironment building
by Michael Goulet
· 6 months ago
009d687
Make item self/non-self bound naming less whack
by Michael Goulet
· 6 months ago
48b7e38
Move outlives env computation into methods
by Michael Goulet
· 6 months ago
921c226
Remove `Copy` bound from `enter_forall`
by Boxy
· 6 months ago
2a180a9
Get rid of `ToPolyTraitRef`
by Michael Goulet
· 6 months ago
87f03a4
rm unnecessary `OpaqueTypeDecl` wrapper
by lcnr
· 6 months ago
dd210ec
Simplify declared_generic_bounds_from_env
by Michael Goulet
· 7 months ago
Next »