about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/generics.rs
AgeCommit message (Collapse)AuthorLines
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 ↵Kyle Matsuda-2/+2
in metadata
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
Much like there are specialized variants of `mk_ty`. This will enable some optimization in the next commit. Also rename the existing `re_error*` functions as `mk_re_error*`, for consistency.
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
CC #69314
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 ↵Kyle Matsuda-1/+1
bound_const_param_default query; add EarlyBinder to const_param_default in metadata
2022-12-20Remove an unused functionOli Scherer-8/+0
2022-12-10Rollup merge of #105410 - TaKO8Ki:fix-105257, r=BoxyUwUMatthias Krüger-0/+9
Consider `parent_count` for const param defaults Fixes #105257
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
This PR will fix some typos detected by [typos]. I only picked the ones I was sure were spelling errors to fix, mostly in the comments. [typos]: https://github.com/crate-ci/typos
2022-08-29Rollup merge of #99821 - cjgillot:ast-lifetimes-2, r=compiler-errorsDylan DPC-2/+1
Remove separate indexing of early-bound regions ~Based on https://github.com/rust-lang/rust/pull/99728.~ This PR copies some modifications from https://github.com/rust-lang/rust/pull/97839 around object lifetime defaults. These modifications allow to stop counting generic parameters during lifetime resolution, and rely on the indexing given by `rustc_typeck::collect`.
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
2022-05-10Introduce EarlyBinderJack Huey-2/+9
2022-01-14reviews ishEllen-0/+7
2021-12-10remove feature gate and cleanup codeEllen-4/+2
2021-11-18rustc: Remove `#[rustc_synthetic]`Vadim Petrochenkov-18/+3
This function parameter attribute was introduced in https://github.com/rust-lang/rust/pull/44866 as an intermediate step in implementing `impl Trait`, it's not necessary or used anywhere by itself.
2021-08-03Do not suggest impl traits as type argumentsYuki Okushi-0/+15
2021-06-02Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2021-04-21loosen ordering restricts for `const_generics_defaults`lcnr-1/+1
2021-03-23Update with commentskadmin-2/+4
A bunch of nits fixed, and a new test for pretty printing the AST.
2021-03-23Add query for const_param_defaultkadmin-3/+5
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-10/+10
This currently creates a field which is always false on GenericParamDefKind for future use when consts are permitted to have defaults Update const_generics:default locations Previously just ignored them, now actually do something about them. Fix using type check instead of value Add parsing This adds all the necessary changes to lower const-generics defaults from parsing. Change P<Expr> to AnonConst This matches the arguments passed to instantiations of const generics, and makes it specific to just anonymous constants. Attempt to fix lowering bugs
2021-03-10Moved types starting with 'Generic' into generics.rs.Nicholas-Baron-0/+257