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

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

2022-11-21	Oli Scherer	merge self type and substs in `trait_method`	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Simplify one more `TraitRef::new` site	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Simplify test	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Use `as_closure` helper method	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Stop passing the self-type as a separate argument.	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Fix clippy's missing substs	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Remove some unnecessary slicing	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Remove a redundant assert	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Fix an ICE that I just made worse	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	For lcnr	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Add helper to create the trait ref for a lang item	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Some cleanup around trait_method lookup	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Use iterators instead of slices at more sites	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Allow iterators instead of requiring slices that will...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Remove an unnecessary query + subst round	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Add a helper for replacing the self type in trait refs	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Assert that various types have the right amount of...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Split out the actual predicate solving code into a...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Use ty::List instead of InternalSubsts	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Check that type_implements_trait actually is passed...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Reduce the amount of passed-around arguments that will...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Test generalization during coherence	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Add some more assertions for type relations not used...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Type generalization should not look at opaque type...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Remove a function that doesn't actually do anything	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Register obligations from type relation	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Move a field around	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	nit treat different opaque types	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Add an always-ambiguous predicate to make sure that...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Treat different opaque types of the same def id as...	commit \| commitdiff \| tree
2022-11-21	Oli Scherer	Allow opaque types in trait impl headers and rely on...	commit \| commitdiff \| tree
2022-11-16	Oli Scherer	Convert predicates into Predicate in the Obligation...	commit \| commitdiff \| tree
2022-11-16	Oli Scherer	Convert predicates into Predicate in the Obligation...	commit \| commitdiff \| tree
2022-11-16	Oli Scherer	Generalize the `ToPredicate` trait	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Compare picks via `Self` type and associated item id	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Expose the fallibilty of the unstable lint emission...	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Pull the unstable name collision hint emission out...	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Remove the fishy need for a PartialEq impl	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Remove some redundant span arguments	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Remove an unnecessary `resolve_vars_if_possible`	commit \| commitdiff \| tree
2022-11-15	Oli Scherer	Flip a boolean that was used wrongly (has no effect...	commit \| commitdiff \| tree
2022-11-14	Oli Scherer	Manually implement `Encodable` for ProvenanceMap to...	commit \| commitdiff \| tree
2022-11-11	Oli Scherer	Print all labels, even if they have no span. Fall back...	commit \| commitdiff \| tree
2022-11-11	Oli Scherer	Don't add message that will never be shown to users	commit \| commitdiff \| tree
2022-11-11	Oli Scherer	Remove some redundant arguments	commit \| commitdiff \| tree
2022-11-08	Oli Scherer	Remove an unused span	commit \| commitdiff \| tree
2022-11-08	Oli Scherer	Remove overloaded_span argument from `new`, where it...	commit \| commitdiff \| tree
2022-11-08	Oli Scherer	Bump ui test	commit \| commitdiff \| tree
2022-11-08	Oli Scherer	Simplify some `Autoderef::new` calls	commit \| commitdiff \| tree
2022-11-04	Oli Scherer	Some tracing and comment cleanups	commit \| commitdiff \| tree
2022-11-04	Oli Scherer	Remove an option and choose a behaviour-preserving...	commit \| commitdiff \| tree
2022-11-02	Oli Scherer	Simplify astconv item def id handling	commit \| commitdiff \| tree
2022-10-26	Oli Scherer	Remove unneeded sub-comparison	commit \| commitdiff \| tree
2022-10-26	Oli Scherer	Add cargo miri to x.py check	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Split diagnostic details out into a separate function...	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Move a wf-check into the site where the value is instantiated	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Bubble the opaque type ordering int opaque type handling	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Use the general type API instead of directly accessing...	commit \| commitdiff \| tree
2022-10-25	Oli Scherer	Pull opaque type handling out of the type relating...	commit \| commitdiff \| tree
2022-10-24	Oli Scherer	Make param index generation a bit more robust	commit \| commitdiff \| tree
2022-10-21	Oli Scherer	Require Drop impls to have the same constness on its...	commit \| commitdiff \| tree
2022-10-21	Oli Scherer	Remove needless special cases and dead code	commit \| commitdiff \| tree
2022-10-14	Oli Scherer	Require lifetime bounds for opaque types in order to...	commit \| commitdiff \| tree
2022-10-13	Oli Scherer	Remove unused macro argument	commit \| commitdiff \| tree
2022-10-12	Oli Scherer	Enable `x.py check` for miri	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	typeck result is now affected by opaque type spans	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Add a regression test	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Check hidden types in dead code	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Remap hidden types from typeck before storing them...	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Move ReverseMapper logic onto OpaqueHiddenType	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Remove some dead code	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Unconditionally encode hidden types in typeck results	commit \| commitdiff \| tree
2022-10-07	Oli Scherer	Allow transmutes between the same types after erasing...	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	It's not about types or consts, but the lack of regions	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	It's not about types or consts, but the lack of regions	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	Merge the `~const` and `impl const` checks and add...	commit \| commitdiff \| tree
2022-10-04	Oli Scherer	Only allow ~const bounds for traits with #[const_trait]	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Split out the error reporting logic into a separate...	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Some path updates	commit \| commitdiff \| tree
2022-09-29	Oli Scherer	Split collect.rs	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Also require other subtrees to always build successfully	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Report diagnostics at the actually actionable site	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Some test cleanups	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Make the test actually show the problematic case	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Show errors instead of hiding them due to an earlier...	commit \| commitdiff \| tree
2022-09-23	Oli Scherer	Showcase a broken diagnostic	commit \| commitdiff \| tree
2022-09-22	Oli Scherer	Const unification is already infallible, remove the...	commit \| commitdiff \| tree
2022-09-22	Oli Scherer	Allow miri docs to keep failing for now	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove unused imports	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	HACK: Treat miri as if it were a submodule	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove miri from the submodule list and require it...	commit \| commitdiff \| tree
2022-09-21	Oli Scherer	Remove miri submodule	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom