git.lizzy.rs Git - rust.git/search

]> git.lizzy.rs Git - rust.git/search

2022-05-30	Oli Scherer	update diagnostic message on removed attribute	commit \| commitdiff \| tree
2022-05-30	Oli Scherer	Default methods of traits are also AssocFn defs as...	commit \| commitdiff \| tree
2022-05-30	Oli Scherer	Reduce the scope of a mutable variable	commit \| commitdiff \| tree
2022-05-30	Oli Scherer	Add a helper function for checking whether a default...	commit \| commitdiff \| tree
2022-05-27	Oli Scherer	Update tests on aarch64	commit \| commitdiff \| tree
2022-05-25	Oli Scherer	Fall through to check other arguments instead of bailing...	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	Update messages	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	Make a test independent of 64/32 bit	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	Remove outdated comment	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	Add the transmute and asm checks to typeck as deferred...	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	Remove the check_mod_intrinsics query	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	move intrinsicck to typeck	commit \| commitdiff \| tree
2022-05-24	Oli Scherer	trait selection errors should poison the typeck results...	commit \| commitdiff \| tree
2022-05-19	Oli Scherer	Fix up tests	commit \| commitdiff \| tree
2022-05-19	Oli Scherer	Stable const things need a stability attribute	commit \| commitdiff \| tree
2022-05-19	Oli Scherer	Rebase fallout	commit \| commitdiff \| tree
2022-05-16	Oli Scherer	Force inline InternedObligationCauseCode creation	commit \| commitdiff \| tree
2022-05-16	Oli Scherer	Add a query for checking whether a function is an intrinsic.	commit \| commitdiff \| tree
2022-05-16	Oli Scherer	Add a query for checking whether a function is an intrinsic.	commit \| commitdiff \| tree
2022-05-13	Oli Scherer	For non-defining opaque type usage errors, don't try...	commit \| commitdiff \| tree
2022-05-13	Oli Scherer	Check that closures satisfy their where bounds	commit \| commitdiff \| tree
2022-05-13	Oli Scherer	Avoid invoking the full `eq` infrastructure when all...	commit \| commitdiff \| tree
2022-05-12	Oli Scherer	Give the inliner some hints	commit \| commitdiff \| tree
2022-05-12	Oli Scherer	Use IndexSet for deterministic order	commit \| commitdiff \| tree
2022-05-12	Oli Scherer	Gracefully handle normalization failures in the prospective...	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Use lifetimes on type-alias-impl-trait used in function...	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Use InternedObligationCauseCode everywhere	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Make `FunctionArgumentObligation` also use the "no...	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Don't allocate misc obligation parents of derived obligations	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Make the derived obligation cause parent private	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Add a helper function for a common piece of code	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Remove `clone_code` method	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Remove another use of clone_code	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Remove another use of clone_code	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Move an extension trait method onto the type directly...	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Don't lose an obligation cause	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Remove some unnecessary clones	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Simplify derived obligation peeling	commit \| commitdiff \| tree
2022-05-10	Oli Scherer	Check hidden types for well formedness at the definition...	commit \| commitdiff \| tree
2022-05-05	Oli Scherer	Add known bug cases	commit \| commitdiff \| tree
2022-05-05	Oli Scherer	Add regression tests	commit \| commitdiff \| tree
2022-05-04	Oli Scherer	Enable tracing for all queryies	commit \| commitdiff \| tree
2022-05-04	Oli Scherer	Generate an intermediate temporary for `Drop` constants.	commit \| commitdiff \| tree
2022-05-04	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-05-03	Oli Scherer	Report that opaque types are not allowed in impls even...	commit \| commitdiff \| tree
2022-05-03	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-05-02	Oli Scherer	Use a yes/no enum instead of a bool.	commit \| commitdiff \| tree
2022-04-30	Oli Scherer	Also report the call site of PME errors locally.	commit \| commitdiff \| tree
2022-04-29	Oli Scherer	Refactor and document the repeat length check	commit \| commitdiff \| tree
2022-04-29	Oli Scherer	Extract copy bound check into a function	commit \| commitdiff \| tree
2022-04-28	Oli Scherer	Revert diagnostic duplication and accidental stabilization	commit \| commitdiff \| tree
2022-04-28	Oli Scherer	Update the diagnostic message to match the new span	commit \| commitdiff \| tree
2022-04-28	Oli Scherer	Add new repeat expr test.	commit \| commitdiff \| tree
2022-04-28	Oli Scherer	Check that repeat expression elements are Copy (ignoring...	commit \| commitdiff \| tree
2022-04-26	Oli Scherer	Revert "add `DefId` to unsafety violations and display...	commit \| commitdiff \| tree
2022-04-26	Oli Scherer	update miri submodule	commit \| commitdiff \| tree
2022-04-14	Oli Scherer	Remove some now-dead code that was only relevant before...	commit \| commitdiff \| tree
2022-04-12	Oli Scherer	Apply suggestions from code review	commit \| commitdiff \| tree
2022-04-12	Oli Scherer	Explain the span search logic	commit \| commitdiff \| tree
2022-04-12	Oli Scherer	Compute a more precise span for opaque type impls	commit \| commitdiff \| tree
2022-04-08	Oli Scherer	Avoid looking at the internals of Interned directly	commit \| commitdiff \| tree
2022-04-08	Oli Scherer	Avoid looking at the internals of Interned directly	commit \| commitdiff \| tree
2022-04-07	Oli Scherer	Deduplicate the error printing code for hidden type...	commit \| commitdiff \| tree
2022-04-07	Oli Scherer	Report opaque type mismatches directly during borrowck...	commit \| commitdiff \| tree
2022-04-07	Oli Scherer	Document and rename the new wrapper type	commit \| commitdiff \| tree
2022-04-06	Oli Scherer	Check that all hidden types are the same and then deduplicat...	commit \| commitdiff \| tree
2022-04-06	Oli Scherer	Fix some fallout around type alias impl trait in associated...	commit \| commitdiff \| tree
2022-04-05	Oli Scherer	Use WrappingRange::full instead of hand-rolling it	commit \| commitdiff \| tree
2022-04-05	Oli Scherer	mir-interpret now treats unions as non-immediate, even...	commit \| commitdiff \| tree
2022-04-05	Oli Scherer	Mark scalar layout unions so that backends that do...	commit \| commitdiff \| tree
2022-04-05	Oli Scherer	Mark scalar layout unions so that backends that do...	commit \| commitdiff \| tree
2022-03-31	Oli Scherer	Check that the cached stable hash is the right one...	commit \| commitdiff \| tree
2022-03-31	Oli Scherer	inline a trivial function	commit \| commitdiff \| tree
2022-03-31	Oli Scherer	Move stable hash from TyS into a datastructure that...	commit \| commitdiff \| tree
2022-03-31	Oli Scherer	Enforce well formedness for type alias impl trait's...	commit \| commitdiff \| tree
2022-03-30	Oli Scherer	Don't ICE when opaque types get their hidden type constraine...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	rebase fallout	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add test for revealing auto traits in the defining...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add some tests showcasing further differences between...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Bless ui tests	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Also use the RPIT back compat hack in trait projection	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Show that the behaviour is the same for RPIT and TAIT	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add a test showing that a similar example compiles	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Added another folder to the `ui` dir	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Fix mixing lazy TAIT and RPIT in their defining scopes	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add another regression test	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Test that TAIT and RPIT are in sync	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add some tests around recursion and "revealing"	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Remove some special code handling TAIT being passed...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	The hack isn't necessary for back compat anymore	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Merge two duplicates of the same logic into a common...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Add regression tests	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Remove opaque type obligation and just register opaque...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Remove opaque type obligation and just register opaque...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Revert to inference variable based hidden type computation...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Special case the situation where the previous span...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Have the spans of TAIT type conflict errors point to...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Remove some dead code	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Normalize all projections in mir validation again	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom