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
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
compiler
/
rustc_hir_analysis
/
src
/
check
/
wfcheck.rs
Age
Commit message (
Expand
)
Author
Lines
2023-08-14
Use `{Local}ModDefId` in many queries
Nilstrieb
-2
/
+2
2023-08-03
Compute variances for lazy type aliases
León Orell Valerian Liehr
-4
/
+22
2023-08-02
Remove constness from `TraitPredicate`
Deadbeef
-10
/
+3
2023-08-02
Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...
Matthias Krüger
-4
/
+5
2023-08-01
Suppress unnecessary outlives
Michael Goulet
-4
/
+5
2023-07-30
Check lazy type aliases for well-formedness
León Orell Valerian Liehr
-2
/
+5
2023-07-29
Take RPITITs inherit the assumed_wf_types of their parent fn
Michael Goulet
-88
/
+11
2023-07-27
Remove `constness` from `ParamEnv`
Deadbeef
-5
/
+3
2023-07-25
inline format!() args from rustc_codegen_llvm to the end (4)
Matthias Krüger
-5
/
+3
2023-07-17
Rename arg_iter to iter_instantiated
Michael Goulet
-1
/
+1
2023-07-14
refactor(rustc_middle): Substs -> GenericArg
Mahdi Dibaiee
-41
/
+50
2023-07-06
add helper methods for accessing struct tail
Lukas Markeffsky
-1
/
+1
2023-07-05
Move `TyCtxt::mk_x` to `Ty::new_x` where applicable
Boxy
-1
/
+1
2023-07-03
use `deeply_normalize` for `assumed_wf_types`
lcnr
-1
/
+6
2023-06-26
Migrate predicates_of and caller_bounds to Clause
Michael Goulet
-34
/
+30
2023-06-25
Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errors
Matthias Krüger
-1
/
+1
2023-06-26
accept `ReStatic` for RPITIT
Takayuki Maeda
-1
/
+1
2023-06-23
Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...
bors
-2
/
+2
2023-06-22
Migrate item_bounds to ty::Clause
Michael Goulet
-2
/
+2
2023-06-22
Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...
Oli Scherer
-2
/
+2
2023-06-19
s/Clause/ClauseKind
Michael Goulet
-10
/
+10
2023-06-17
Move ConstEvaluatable to Clause
Michael Goulet
-2
/
+2
2023-06-17
Move WF goal to clause
Michael Goulet
-2
/
+3
2023-06-16
Add `AliasKind::Weak` for type aliases.
Oli Scherer
-10
/
+30
2023-06-13
Rollup merge of #111885 - compiler-errors:rust-call-abi-sized, r=eholk
Matthias Krüger
-1
/
+7
2023-06-06
Don't ICE on unsized rust-call abi call
Michael Goulet
-1
/
+7
2023-06-06
remove `has_error_field` helper method
lcnr
-3
/
+5
2023-06-01
Implement custom diagnostic for ConstParamTy
Michael Goulet
-1
/
+1
2023-06-01
Require that const param tys implement ConstParamTy
Boxy
-77
/
+14
2023-05-30
Rollup merge of #112060 - lcnr:early-binder, r=jackh726
Nilstrieb
-1
/
+1
2023-05-29
Rename `tcx.mk_re_*` => `Region::new_*`
Maybe Waffle
-15
/
+24
2023-05-29
EarlyBinder::new -> EarlyBinder::bind
lcnr
-1
/
+1
2023-05-28
Replace EarlyBinder(x) with EarlyBinder::new(x)
Kyle Matsuda
-1
/
+1
2023-05-24
Use `Option::is_some_and` and `Result::is_ok_and` in the compiler
Maybe Waffle
-1
/
+1
2023-05-15
Move expansion of query macros in rustc_middle to rustc_middle::query
John Kåre Alsaker
-1
/
+1
2023-05-04
Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr
bors
-1
/
+1
2023-05-03
Restrict `From<S>` for `{D,Subd}iagnosticMessage`.
Nicholas Nethercote
-9
/
+9
2023-04-27
rename `needs_subst` to `has_param`
Boxy
-4
/
+4
2023-04-27
rename `needs_infer` to `has_infer`
Boxy
-1
/
+1
2023-04-26
Make some region folders a little stricter.
Nicholas Nethercote
-11
/
+4
2023-04-25
Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...
Matthias Krüger
-3
/
+5
2023-04-25
Remove some useless `ty::Binder::dummy` calls
Maybe Waffle
-1
/
+1
2023-04-25
Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`
Maybe Waffle
-1
/
+1
2023-04-21
Allow `LocalDefId` as the argument to `def_path_str`
Oli Scherer
-2
/
+2
2023-04-20
add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...
Kyle Matsuda
-4
/
+2
2023-04-20
add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...
Kyle Matsuda
-3
/
+3
2023-04-20
change usages of explicit_item_bounds to bound_explicit_item_bounds
Kyle Matsuda
-3
/
+7
2023-04-12
region error cleanup
lcnr
-9
/
+2
2023-04-06
Make elaborator generic
Michael Goulet
-1
/
+1
2023-03-30
Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`
Scott McMurray
-2
/
+2
[next]