about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv/mod.rs
AgeCommit message (Expand)AuthorLines
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-5/+5
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-82/+87
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-45/+61
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-37/+37
2023-07-05tidy: move a large function out of an even larger fileOli Scherer-406/+3
2023-07-05Lint now-unnecessary associated type boundsOli Scherer-3/+21
2023-07-05Don't require associated types with `Self: Sized` bounds in `dyn Trait` objectsOli Scherer-0/+10
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-3/+3
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+2
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-5/+9
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29Intern OpaqueTy on ItemKind::OpaqueTySantiago Pastorino-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-27pass PredicateFilter to compute_boundsMichael Goulet-0/+18
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-35/+24
2023-06-21Rollup merge of #112853 - GuillaumeGomez:type_alias_type, r=oli-obkGuillaume Gomez-1/+1
2023-06-21Add `lazy_type_alias` feature gateGuillaume Gomez-1/+1
2023-06-19Fully fledged Clause typeMichael Goulet-2/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-9/+11
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-2/+4
2023-06-17Move some bounds computation out of astconv into its own fileMichael Goulet-567/+2
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-2/+2
2023-06-17Move WF goal to clauseMichael Goulet-3/+4
2023-06-17`Bound::predicates` to return `Clause`dswij-2/+4
2023-06-16Pacify tidyOli Scherer-116/+4
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-1/+13
2023-06-11iat selection: normalize self ty & completely erase bound varsLeón Orell Valerian Liehr-19/+57
2023-06-07Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorinobors-39/+24
2023-06-05Remove redundant InferCtxtExt::fresh_item_substsMichael Goulet-36/+1
2023-06-05Emit an error when RTN is used with ty/ct paramsMichael Goulet-3/+23
2023-06-05Merge method, type and const object safety checksOli Scherer-0/+4
2023-06-05Avoid going through queries if a value of type `AssocItem` is already availableOli Scherer-1/+1
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-15/+17
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-26print const and type errors in braces not square bracketsBoxy-1/+1
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-3/+3
2023-05-17Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-deadDylan DPC-4/+3
2023-05-17Emits E0599 when meeting MyTrait::missing_methodmu001999-4/+3
2023-05-14Rename const error methods for consistencyMichael Goulet-4/+4
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-26/+35
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-8/+49
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-26/+35
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-2/+2
2023-05-03Error message for ambiguous RTN from super boundsMichael Goulet-2/+10
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-3/+3