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

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

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	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	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-11	Rémy Rakic	update ui tests using opaque types in impl headers	commit \| commitdiff \| tree
2022-04-11	Rémy Rakic	add regression tests for opaque types in impl headers	commit \| commitdiff \| tree
2022-04-11	Rémy Rakic	prevent opaque types from appearing in impl headers	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
2022-03-28	Oli Scherer	Don't bind hidden types when searching for matching...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Fail more aggressively	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Revert "Auto merge of #93893 - oli-obk:sad_revert,...	commit \| commitdiff \| tree
2022-03-28	Oli Scherer	Revert "Auto merge of #93893 - oli-obk:sad_revert,...	commit \| commitdiff \| tree
2022-03-24	Oli Scherer	update clippy stderr file	commit \| commitdiff \| tree
2022-03-24	Oli Scherer	update clippy stderr file	commit \| commitdiff \| tree
2022-03-23	Oli Scherer	Address rebase fallout	commit \| commitdiff \| tree
2022-03-23	Oli Scherer	Update allocation id	commit \| commitdiff \| tree
2022-03-23	Carl Scherer	Remove line instead of just commenting out	commit \| commitdiff \| tree
2022-03-23	Carl Scherer	remove optimizations from const_prop_lint	commit \| commitdiff \| tree
2022-03-23	Carl Scherer	separate const prop lint from optimizations	commit \| commitdiff \| tree
2022-03-10	Oli Scherer	Revert accidental stabilization	commit \| commitdiff \| tree
2022-02-25	Oli Scherer	"Reset" the hashing context before stable hashing the...	commit \| commitdiff \| tree
2022-02-24	Oli Scherer	Don't cache stable hashes in types outside of incremental...	commit \| commitdiff \| tree
2022-02-24	Oli Scherer	Remove redundant hashing configuration logic in type...	commit \| commitdiff \| tree
2022-02-24	Oli Scherer	Try out caching the stable hash of Ty within itself	commit \| commitdiff \| tree
2022-02-17	Oli Scherer	Revert "Auto merge of #91403 - cjgillot:inherit-async...	commit \| commitdiff \| tree
2022-02-17	Oli Scherer	Revert "Auto merge of #91403 - cjgillot:inherit-async...	commit \| commitdiff \| tree
2022-02-11	Oli Scherer	Revert "Auto merge of #92007 - oli-obk:lazy_tait2,...	commit \| commitdiff \| tree
2022-02-11	Oli Scherer	Revert "Auto merge of #92007 - oli-obk:lazy_tait2,...	commit \| commitdiff \| tree
2022-02-11	Oli Scherer	Revert "Auto merge of #92306 - Aaron1011:opaque-type...	commit \| commitdiff \| tree
2022-02-11	Oli Scherer	Revert "Fix regression from lazy opaque types"	commit \| commitdiff \| tree
2022-02-08	Oli Scherer	Fix regression from lazy opaque types	commit \| commitdiff \| tree
2022-02-07	Oli Scherer	Add a test showing that we don't infer across multiple...	commit \| commitdiff \| tree
2022-02-07	Oli Scherer	Print opaque types from type aliases via their path	commit \| commitdiff \| tree
2022-02-03	Oli Scherer	Improve self-referential diagnostic somewhat	commit \| commitdiff \| tree
2022-02-03	Oli Scherer	Add some new tests with amusing diagnostics	commit \| commitdiff \| tree
2022-02-03	Oli Scherer	Add tests for lifetime-swaps, not just type param swaps	commit \| commitdiff \| tree
2022-02-03	Oli Scherer	Clean up opaque type obligations in query results	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Fix some doctests where the main function returns an...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Only prevent TAITs from defining each other, RPIT and...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Prevent two opaque types in their defining scopes from...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Ensure we error in case of non-higher-kinded lifetimes	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Avoid an ICE in the presence of HKL	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	run rustfmt	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Reduce follow-up errors that are not helpful	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Bail out early if there already were errors	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Make the error for opaque types that have no hidden...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Make a span more useful	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Guess head span of async blocks	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	undo a useless change	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Hide further opaque type errors if items that could...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Undo a change that is now unnecessary	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Remove a now-useless field	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Remove some unused arguments and update a comment	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Make a comment more obvious	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	manual formatting	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom