about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select/confirmation.rs
AgeCommit message (Expand)AuthorLines
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-1/+1
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-11-02No need to instantiate binder in confirm_async_closure_candidateMichael Goulet-9/+3
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-2/+2
2024-10-21Auto merge of #131988 - matthiaskrgr:rollup-tx173wn, r=matthiaskrgrbors-183/+8
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-183/+8
2024-10-19Fix transmute goalMichael Goulet-5/+8
2024-10-17Allow dropping dyn principalMichael Goulet-0/+4
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-31/+34
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-55/+37
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-7/+5
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-73/+103
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+6
2024-06-27Make queries more explicitMichael Goulet-1/+1
2024-06-25Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errorsbors-4/+4
2024-06-20Add blank lines after module-level `//!` comments.Nicholas Nethercote-0/+1
2024-06-19Allow constraining opaque types during auto trait castingOli Scherer-1/+1
2024-06-19Allow constraining opaque types during unsizingOli Scherer-3/+3
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-41/+2
2024-06-14Only compute vtable information during codegenMichael Goulet-41/+2
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-6/+6
2024-06-14Add TyCtxt::is_lang_itemMichael Goulet-1/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-3/+0
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-05-19Add and use generics.is_empty() and generics.is_own_empty, rather than using ...Santiago Pastorino-1/+1
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-5/+5
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-10Auto merge of #124982 - compiler-errors:uplift-trait-ref, r=lcnrbors-13/+16
2024-05-10Lift `TraitRef` into `rustc_type_ir`Michael Goulet-13/+16
2024-05-10More rename falloutMichael Goulet-6/+6
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-1/+1
2024-05-10Remove glob imports for ObligationCauseCodeMichael Goulet-9/+9
2024-05-10Auto merge of #124961 - matthiaskrgr:rollup-1jj65p6, r=matthiaskrgrbors-1/+2
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-1/+1
2024-05-10De-tuple two `vtable_trait_first_method_offset` args.Nicholas Nethercote-1/+2
2024-04-15Simplify shallow resolver to just fold ty/constsMichael Goulet-5/+4
2024-04-15Stop using PolyTraitRef for closure/coroutine predicates already instantiated...Michael Goulet-2/+2
2024-04-08Rollup merge of #123367 - jswrenn:layoutify, r=compiler-errorsMatthias Krüger-7/+35
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-7/+35
2024-04-08Actually create ranged int types in the type system.Oli Scherer-2/+10
2024-04-01Fix obligation param and bless testsMichael Goulet-40/+18
2024-04-01Instantiate closure-like bounds with placeholders to deal with binders correctlyMichael Goulet-68/+82
2024-03-22Auto merge of #122900 - matthiaskrgr:rollup-nls90mb, r=matthiaskrgrbors-2/+2
2024-03-22Split out ImplPolarity and PredicatePolarityMichael Goulet-2/+2
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1