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

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

2022-09-21	Oli Scherer	Improve diagnostic for adding more bounds to opaque...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Reproduce sad diagnostic	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Try out a perf optimization	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Simplify insert_outlives_predicate opaque type logic	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Inline substitution logic into `declared_region_bounds`	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Add regression test	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Also collect bounds from the ParamEnv for opaque types	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Neither require nor imply lifetime bounds on opaque...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Generalize projection_must_outlive	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Generalize a helper to be useful for types other than...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Inline a trivial function	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Some tracing instrumentation cleanups	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Split match out into a helper function	commit \| commitdiff \| tree
2022-09-19	Oli Scherer	Document projection condition	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Only generate `OpaqueCast` for opaque types	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Revert "Revert "Rollup merge of #98582 - oli-obk:unconstrain...	commit \| commitdiff \| tree
2022-09-16	Oli Scherer	Merge two arguments into one	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Don't throw away information just to recompute it again	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Merge all `TypeVisitable for &List<T>` impls into one...	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Replace more manual TypeFoldable and TypeVisitable...	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	derive TypeVisitable and TypeFoldable for mir types	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Derive TypeFoldable and TypeVisitable for mir::PlaceElement	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	Resolve a FIXME	commit \| commitdiff \| tree
2022-09-15	Oli Scherer	derive various Lift impl instead of hand rolling them	commit \| commitdiff \| tree
2022-09-14	Oli Scherer	Prefer explict closure sig types over expected ones	commit \| commitdiff \| tree
2022-09-12	Oli Scherer	Update miri submodule	commit \| commitdiff \| tree
2022-09-09	Oli Scherer	The `<const T>::guaranteed_` methods now return an...	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Clarify some diagnostic messages	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Uncomment unsound code example	commit \| commitdiff \| tree
2022-09-08	Oli Scherer	Opaque types' generic params do not imply anything...	commit \| commitdiff \| tree
2022-09-07	Oli Scherer	Update miri submodule	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Check all operands, they may contain indirections in...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Test bump	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Generalize the Assume intrinsic statement to a general...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Update docs	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Lower the assume intrinsic to a MIR statement	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Move CTFE handling of nondiverging intrinsics to intrinsics.rs	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Generalize the Assume intrinsic statement to a general...	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Lower the assume intrinsic to a MIR statement	commit \| commitdiff \| tree
2022-09-06	Oli Scherer	Remove dead broken code from const zst handling in...	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Adjust stderr file	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	tracing::instrument cleanup	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Always import all tracing macros for the entire crate...	commit \| commitdiff \| tree
2022-09-01	Oli Scherer	Directly use the `instrument` macro instead of its...	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	Bump tracing to 0.1.35	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	never inline the only thing that calls a query, which...	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	tracing 0.1.32	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	tracing 0.1.33	commit \| commitdiff \| tree
2022-07-29	Oli Scherer	Update tracing to 0.1.31	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Revert "Rollup merge of #97346 - JohnTitor:remove-back...	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Pass PatCtxt instead of passing MatchCtxt + Ty separately	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Don't pass (the rather large) `PatCtxt` by value	commit \| commitdiff \| tree
2022-07-28	Oli Scherer	Move constructor into the branch that actually uses it	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-20	Oli Scherer	Revert "Rollup merge of #98582 - oli-obk:unconstrained_opaqu...	commit \| commitdiff \| tree
2022-07-18	Oli Scherer	Check generators for well formedness	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Infer wildcard type from other patterns at every pattern...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Move constructor into the branch that actually uses it	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Revert a hack that only ever worked on level deep	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Make destructuring a defining use	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Allow destructuring opaque types, since the patterns...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Some tracing helpers	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Reuse a helper method instead of manually rolling it	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Remove early return that would likely have caused miscompila...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Pass one argument instead of fetching two fields of...	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Add some tracing instrumentation	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-15	Oli Scherer	Introduce opaque type to hidden type projection	commit \| commitdiff \| tree
2022-07-13	Oli Scherer	Limit test to x86 targets for reproducability	commit \| commitdiff \| tree
2022-07-12	Oli Scherer	Always check Cell alongside with `UnsafeCell`	commit \| commitdiff \| tree
2022-07-12	Oli Scherer	Use some more visible sigils than `,`	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Only check relative sizes on platform specific types	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	tidy	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Simplify size checking	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Don't allow accidental runtime-checks	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	tidy	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Make tests work on 32 bit and 64 bit	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Show sizes in error output	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Rename assertion macro	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Simplify assertion macro	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Move checks to compile-time	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	Hide niches in SIMD types, too	commit \| commitdiff \| tree
2022-07-11	Oli Scherer	More obvious closure name	commit \| commitdiff \| tree
2022-07-08	Oli Scherer	Create a custom layout path for UnsafeCell instead...	commit \| commitdiff \| tree
2022-07-08	Oli Scherer	Add tests for libstd types	commit \| commitdiff \| tree
2022-07-08	Oli Scherer	Only register hidden types for opaque types from the...	commit \| commitdiff \| tree
2022-07-07	Oli Scherer	Comment update	commit \| commitdiff \| tree
2022-07-07	Oli Scherer	`UnsafeCell` now has no niches, ever.	commit \| commitdiff \| tree
2022-07-07	Oli Scherer	`UnsafeCell` now has no niches, ever.	commit \| commitdiff \| tree
2022-07-07	Oli Scherer	not knowing about opaque types is worse than not knowing...	commit \| commitdiff \| tree
2022-07-05	Oli Scherer	Prefer trace level instrumentation for the new noisy...	commit \| commitdiff \| tree
2022-07-05	Oli Scherer	Add a helper method with an explicit name instead of...	commit \| commitdiff \| tree
2022-07-01	Oli Scherer	Remove type flag based opaque type workaround	commit \| commitdiff \| tree
2022-06-30	Oli Scherer	Make `evaluate_obligation` not succeed unconditionally...	commit \| commitdiff \| tree
2022-06-30	Oli Scherer	use a method instead of manually doing what its body...	commit \| commitdiff \| tree
2022-06-30	Oli Scherer	Change enum->int casts to not go through MIR casts.	commit \| commitdiff \| tree
2022-06-30	Oli Scherer	Change enum->int casts to not go through MIR casts.	commit \| commitdiff \| tree
2022-06-29	Oli Scherer	pessimistically treat all function items as containing...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom