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

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

2022-04-06	Oli Scherer	Check that all hidden types are the same and then deduplicat...	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-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	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-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-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
2022-02-02	Oli Scherer	Lazily resolve type-alias-impl-trait defining uses	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Simplify diff	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Undo a diff	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Inline a function that is only used once	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Remove unnecessary field	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Remove unnecessary closure in favour of just passing...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Remove the `Instantiator` now that we don't recurse...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Inline a function that is only ever used in one place	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Fixup changes that aren't neccessary anymore	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	This can't happen anymore. An opaque type can't end...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	We're equating hidden types eagerly now	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add some tests to show what happens when you compare...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Update an outdated test explanation	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Test recursive TAIT declarations	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add explanation for early abort in TAIT hidden type...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add backcompat hack to support	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Clean up leftovers from eager hidden type merging	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Eagerly merge hidden types.	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Stop generating inference vars for nested impl trait...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Register member constraints on the final merged hidden...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	bless	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Lazily resolve type-alias-impl-trait defining uses	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	More sanity checks	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Expose current span to type equality checking in nll	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add a convenient way to inject rustc flags somewhere...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Found suspicious comparison of constants	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Update some comments	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add some sanity assertions to make sure we use the...	commit \| commitdiff \| tree
2022-02-02	Oli Scherer	Add roll back infrastructure for opaque type caches	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom