about summary refs log tree commit diff
path: root/compiler/rustc_ty_utils/src/instance.rs
AgeCommit message (Expand)AuthorLines
2025-01-17new solver: prefer trivial builtin impls over where-clausesRémy Rakic-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+2
2024-11-30Move refinement check out of compare_impl_itemMichael Goulet-0/+2
2024-11-30Make compare_impl_item into a queryMichael Goulet-7/+5
2024-11-28support revealing defined opaque post borrowcklcnr-1/+2
2024-11-23remove remaining references to `Reveal`lcnr-2/+4
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-19resolve_instance: stop relying on `Reveal`lcnr-17/+17
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-13/+17
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-23document & impl the transmutation modeled by `BikeshedIntrinsicFrom`Jack Wrenn-0/+5
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+1
2024-07-24Make sure that args are compatible in resolve_associated_itemMichael Goulet-2/+13
2024-07-02Miscellaneous renamingMichael Goulet-2/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-14/+14
2024-06-16Auto merge of #126505 - compiler-errors:no-vtable, r=lcnrbors-6/+16
2024-06-14Only compute vtable information during codegenMichael Goulet-6/+16
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-6/+6
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-1/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_ty_utils`.Nicholas Nethercote-0/+1
2024-04-25Don't ICE when codegen_select returns ambiguity in new solverMichael Goulet-12/+5
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+1
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-36/+17
2024-04-16Add simple async drop glue generationzetanumbers-0/+41
2024-03-19Fix ABI for FnMut/Fn impls for async closuresMichael Goulet-0/+2
2024-03-19Only split by-ref/by-move futures for async closuresMichael Goulet-20/+13
2024-03-09Remove `Ord` from `ClosureKind`Deadbeef-17/+20
2024-03-04make `intrinsic` query legal for any `DefId`Oli Scherer-3/+1
2024-02-20Fix stray trait mismatch in resolve_associated_item for AsyncFnMichael Goulet-15/+3
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-1/+2
2024-02-11Auto merge of #120619 - compiler-errors:param, r=lcnrbors-3/+1
2024-02-07Stop using is_copy_modulo_regions when building clone shimMichael Goulet-3/+1
2024-02-06Coroutine closures implement regular Fn traits, when possibleMichael Goulet-0/+18
2024-02-06Regular closures now built-in impls for AsyncFn*Michael Goulet-0/+13
2024-02-06More comments, final tweaksMichael Goulet-0/+7
2024-02-06Build a shim to call async closures with different AsyncFn trait kindsMichael Goulet-3/+14
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+11
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2024-01-23Rollup merge of #120139 - compiler-errors:fnonce-shim, r=BoxyUwULeón Orell Valerian Liehr-1/+6
2024-01-22Do not normalize closure signature when building FnOnce shimMichael Goulet-1/+6
2024-01-19Consolidate logic around resolving built-in coroutine trait implsMichael Goulet-58/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-4/+4
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-3/+3
2023-12-08Implement `async gen` blocksMichael Goulet-0/+15
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-2/+2
2023-11-21Rollup merge of #118115 - spastorino:fix-old-fn-names, r=compiler-errorsNilstrieb-1/+1