about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-12-11Rename projection_def_id to item_def_idMichael Goulet-1/+1
2024-12-10Implement projection and shim for AFIDTMichael Goulet-17/+116
2024-12-10Rollup merge of #134008 - jswrenn:unsafe-fields-copy, r=compiler-errorsLeón Orell Valerian Liehr-5/+10
2024-12-10Auto merge of #134096 - fmease:rollup-0asgoo8, r=fmeasebors-1/+1
2024-12-09review comments: rewordingsEsteban Küber-2/+2
2024-12-09Introduce `default_field_values` featureEsteban Küber-5/+6
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-1/+1
2024-12-07Tweak wordingEsteban Küber-5/+5
2024-12-07Do not talk about "trait `<Foo = Bar>`"Esteban Küber-2/+4
2024-12-07Account for `impl Trait` in "add bound" suggestion messageEsteban Küber-0/+6
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-16/+9
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-23/+61
2024-12-07Add test for lack of suggestion in stableEsteban Küber-2/+2
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-14/+31
2024-12-07Don't suggest restricting bound with unstable traits on stableEsteban Küber-8/+24
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-5/+10
2024-12-07Auto merge of #133978 - matthiaskrgr:rollup-6gh1iho, r=matthiaskrgrbors-0/+12
2024-12-06Remove polymorphizationBen Kimock-114/+3
2024-12-06Rollup merge of #133934 - jswrenn:unsafe-fields-auto-traits, r=compiler-errorsMatthias Krüger-0/+12
2024-12-06Rollup merge of #130777 - azhogin:azhogin/reg-struct-return, r=workingjubileeMatthias Krüger-1/+4
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+12
2024-12-02Rollup merge of #133610 - camelid:move-from_anon_const, r=BoxyUwUGuillaume Gomez-82/+2
2024-12-02Move `Const::{from_anon_const,try_from_lit}` to hir_ty_loweringNoah Lev-82/+2
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-15/+18
2024-12-02rust_for_linux: -Zreg-struct-return commandline flag for X86 (#116973)Andrew Zhogin-1/+4
2024-11-29Rollup merge of #133501 - lcnr:post-borrowck-analysis, r=compiler-errorsMatthias Krüger-82/+4
2024-11-28Auto merge of #123244 - Mark-Simulacrum:share-inline-never-generics, r=saethlinbors-9/+11
2024-11-28Share inline(never) generics across cratesMark Rousskov-9/+11
2024-11-28uplift fold_regions to rustc_type_irlcnr-82/+4
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-2/+11
2024-11-26Rollup merge of #115293 - cjgillot:no-fuel, r=wesleywiser,DianQKMichael Goulet-8/+1
2024-11-26Rollup merge of #133367 - compiler-errors:array-len-mismatch, r=BoxyUwUMichael Goulet-10/+3
2024-11-26Rollup merge of #133362 - compiler-errors:existential-preds, r=BoxyUwUMichael Goulet-4/+0
2024-11-26Remove -Zfuel.Camille GILLOT-8/+1
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-2/+2
2024-11-24Rollup merge of #133371 - RalfJung:is_trivially_const_drop, r=compiler-errorsMatthias Krüger-39/+0
2024-11-24Simplify array length mismatch error reportingMichael Goulet-10/+3
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-128/+36
2024-11-23global old solver cache: use `TypingEnv`lcnr-2/+2
2024-11-23remove remaining references to `Reveal`lcnr-6/+6
2024-11-23no more Reveal :(lcnr-120/+28
2024-11-23Rollup merge of #133366 - compiler-errors:expected-found, r=dtolnay许杰友 Jieyou Xu (Joe)-2/+2
2024-11-23Auto merge of #132915 - veluca93:unsafe-fields, r=jswrennbors-5/+13
2024-11-23remove is_trivially_const_dropRalf Jung-39/+0
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-2/+2
2024-11-23Auto merge of #133360 - compiler-errors:rollup-a2o38tq, r=compiler-errorsbors-118/+85
2024-11-23No need to re-sort existential predsMichael Goulet-4/+0
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+4
2024-11-22Pretty print AsyncFn traits tooMichael Goulet-11/+23
2024-11-22Implement ~const Destruct in new solverMichael Goulet-4/+13