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

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

2021-08-06	Oli Scherer	Use existing type alias instead of manually writing it	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Point to the value instead of the TAIT declaration...	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Store the `DefId` of the currently typechecked item...	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Immediately register new opaque types in the global...	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Remove Option only used as its Some variant	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Remove a useless feature gateing	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Split fold_opaque_ty	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Move some code around in preparation of splitting a...	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Remove a field that is computed later anyway	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Move opaque type cache into `InferCtxt`	commit \| commitdiff \| tree
2021-07-26	Oli Scherer	Mir borrowck does not generate lifetime variables for...	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	bless nll tests	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Add a regression test	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Resolve nested inference variables.	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Remove an unnecessary variable	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Use instrument debugging for more readable logs	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Make mir borrowck's use of opaque types independent...	commit \| commitdiff \| tree
2021-07-22	Oli Scherer	Fix VecMap::iter_mut	commit \| commitdiff \| tree
2021-07-20	Oli Scherer	Get back the more precise suggestion spans of old regionck	commit \| commitdiff \| tree
2021-07-16	Oli Scherer	Infer all inference variables via InferCx	commit \| commitdiff \| tree
2021-07-16	Oli Scherer	Add some more tracing instrumentation	commit \| commitdiff \| tree
2021-07-13	Oli Scherer	Loop over all opaque types instead of looking at just...	commit \| commitdiff \| tree
2021-07-13	Oli Scherer	Debug log all the things	commit \| commitdiff \| tree
2021-07-13	Oli Scherer	Fix VecMap Extend impl	commit \| commitdiff \| tree
2021-04-01	Oli Scherer	Some more fine-grained forced inlining	commit \| commitdiff \| tree
2021-04-01	Oli Scherer	Inline some functions that suddenly show up more in...	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	Revert tests	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	bail out early when substituting mir constants that...	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	Forward some layouts to prevent recomputation	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	Add a new normalization query just for mir constants	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	We should never see unevaluated type-level constants...	commit \| commitdiff \| tree
2021-03-31	Oli Scherer	Make unevaluated DefId rendering deterministic	commit \| commitdiff \| tree
2021-03-29	Oli Scherer	Only emit a discrimiant tag for enums	commit \| commitdiff \| tree
2021-03-29	Oli Scherer	Don't build a ty::Const just to take it apart again	commit \| commitdiff \| tree
2021-03-29	Oli Scherer	Convert a closure into a method	commit \| commitdiff \| tree
2021-03-19	Oli Scherer	Add a second regression test	commit \| commitdiff \| tree
2021-03-19	Oli Scherer	Do not ICE on ty::Error as an error must already have...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Run tests in nll mode	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Explain each variant of TAIT usage with examples	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	🍼 for tidy	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Only allow tait defining uses in function and method...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Special case type aliases from impl trait in const...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Add a test showing how `impl_trait_in_bindings` is...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Replace `type_alias_impl_trait` by `min_type_alias_impl_trai...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Delete non-revision ui test output file if revisions...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Make regression test succeed as long as it ICEs	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Use tracing instrumentation for better bug diagnosing	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Add reproduction test	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Fix const stability `since` versions.	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Pacify tidy	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	s/ConstantSource/ConstantKind/	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Do not expose fallible `to_int` operation on `Scalar`.	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Explain pointer and dyn Trait handling in const_to_valtree	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Explain how we encode enums at the encoding site	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Explain why we do not allow const_to_valtree to read...	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	Document valtree	commit \| commitdiff \| tree
2021-03-15	Oli Scherer	s/ConstantSource/ConstantKind/	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Run rustfmt	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	We won't support trait object constants in type level...	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Visit `mir::Constant::user_ty` for completeness.	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Replace a custom lift method with a Lift impl	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Prepare mir::Constant for ty::Const only supporting...	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Prepare mir::Constant for ty::Const only supporting...	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Directly intern allocations so that we can write a...	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Add `ty` helper function for mir constants	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Use the explicit error constant instead of fake dummies	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Split pretty printer logic for scalar int and scalar ptr	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Pull out ConstValue relating into its own function	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Reduce the duplication in the relation logic for constants	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Reduce destructuring and re-interning where possible	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Resolve a FIXME around type equality checks in Relate...	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Add convenience conversion methods for ScalarInt	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Add fallible Scalar to ScalarInt conversion method	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Intern valtree field vector	commit \| commitdiff \| tree
2021-03-12	Oli Scherer	Implement valtree	commit \| commitdiff \| tree
2021-03-11	Oli Scherer	Reintroduce accidentally deleted assertions.	commit \| commitdiff \| tree
2021-03-09	Oli Scherer	Bump tracing-tree dependency	commit \| commitdiff \| tree
2021-03-05	Oli Scherer	Shrink the size of Rvalue by 16 bytes	commit \| commitdiff \| tree
2021-03-05	Oli Scherer	Shrink the size of Rvalue by 16 bytes	commit \| commitdiff \| tree
2021-03-05	Oli Scherer	Shrink the size of Rvalue by 16 bytes	commit \| commitdiff \| tree
2021-03-04	Oli Scherer	Fixes -Zpolymorphize for src/test/ui/const-generics...	commit \| commitdiff \| tree
2021-03-04	Oli Scherer	Typo	commit \| commitdiff \| tree
2021-03-04	Oli Scherer	Spread tracing instrumentation into the polymorphization...	commit \| commitdiff \| tree
2021-03-04	Oli Scherer	Remove a dead code path	commit \| commitdiff \| tree
2021-03-03	Oli Scherer	Check the sizes of Operand, Rvalue, AggregateKind and...	commit \| commitdiff \| tree

Empowering everyone to build reliable and efficient software.

RSS Atom