about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/generics.rs
AgeCommit message (Expand)AuthorLines
2023-12-10clean up leftover FIXMEDeadbeef-2/+4
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-8/+4
2023-12-10filter out trailing effect param in `own_args_no_defaults`Deadbeef-0/+2
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-4/+8
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-14finish `RegionKind` renamelcnr-5/+5
2023-10-27Account for type param from other item in `note_and_explain`Esteban Küber-0/+28
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-0/+4
2023-09-14treat host effect params as erased generics in codegenDeadbeef-2/+4
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-3/+3
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-22/+22
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+3
2023-07-04include `host_effect_index` in `Generics`Deadbeef-0/+3
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-3/+5
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+3
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-2/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-2/+2
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-2/+2
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-1/+1
2023-05-14Rename const error methods for consistencyMichael Goulet-1/+1
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-1/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-1/+1
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-9/+3
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-1/+1
2022-12-20Remove an unused functionOli Scherer-8/+0
2022-12-10Rollup merge of #105410 - TaKO8Ki:fix-105257, r=BoxyUwUMatthias Krüger-0/+9
2022-12-08add a test case for `generic_const_exprs` in trait itemsTakayuki Maeda-2/+2
2022-12-07consider `parent_count` for const param defaultsTakayuki Maeda-0/+9
2022-12-06Add GenericParamDef::to_error and InternalSubsts::extend_with_errorMichael Goulet-0/+14
2022-11-24Use kw::Empty for elided lifetimes in path.Camille GILLOT-1/+10
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-2/+1
2022-09-08update `ParamKindOrd`lcnr-2/+3
2022-09-07Add instrument and debug callsSantiago Pastorino-0/+1
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-29Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errorsDylan DPC-2/+1
2022-08-21More docsMichael Goulet-0/+4
2022-08-21Rework ambiguity errorsMichael Goulet-0/+11
2022-08-03Compute `object_lifetime_default` per parameter.Camille GILLOT-2/+1
2022-07-07Add bound_const_param_defaultJack Huey-2/+2
2022-06-11Address commentsMichael Goulet-0/+7
2022-06-08note that methods should only be used for diagslcnr-0/+4
2022-06-08dedup diagnostics default params handlinglcnr-1/+36
2022-06-02add new `emit_inference_failure_err`lcnr-0/+29