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

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

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	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
2022-01-12	Oli Scherer	Don't fall back to crate-level opaque type definitions.	commit \| commitdiff \| tree
2021-12-17	Oli Scherer	Check all opaque types, even return position impl trait.	commit \| commitdiff \| tree
2021-12-16	Oli Scherer	Actually instantiate the opaque type when checking...	commit \| commitdiff \| tree
2021-12-16	Oli Scherer	Prove obligations to termination instead of ignoring...	commit \| commitdiff \| tree
2021-12-16	Oli Scherer	Eagerly instantiate opaque types	commit \| commitdiff \| tree
2021-12-16	Oli Scherer	Remove some noise from opaque type errors around associated...	commit \| commitdiff \| tree
2021-12-03	Oli Scherer	Remove a code path that is neither documented nor can...	commit \| commitdiff \| tree
2021-11-26	Oli Scherer	Perform Sync check on static items in wf-check instead...	commit \| commitdiff \| tree
2021-10-28	Oli Scherer	Move instantiate_opaque_types to rustc_infer.	commit \| commitdiff \| tree
2021-10-28	Oli Scherer	Move some functions into `rustc_infer`.	commit \| commitdiff \| tree
2021-10-28	Oli Scherer	Manually inline a function that is only ever called...	commit \| commitdiff \| tree
2021-10-28	Oli Scherer	Remove dead code.	commit \| commitdiff \| tree
2021-10-18	Oli Scherer	Member constraints already covered all of E0482 already...	commit \| commitdiff \| tree
2021-10-18	Oli Scherer	Guarding a loop with a check that it never runs is...	commit \| commitdiff \| tree
2021-10-18	Oli Scherer	Remove unused enum variant	commit \| commitdiff \| tree
2021-10-18	Oli Scherer	Remove regionck member constraint handling and leave...	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Document the new logic	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Remove a now-unused trait	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Equality of regions is not just on identity, but if...	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Normalize regions before comparing them for member...	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Add some more instrumentation	commit \| commitdiff \| tree
2021-10-15	Oli Scherer	Remove a now-unused struct	commit \| commitdiff \| tree
2021-10-15	Niko Matsakis	simplify constrain_opaque_types	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Update clippy ui output	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Update clippy ui output	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Bless nll tests	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Re-use logic for adding a suggestion when a lifetime...	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Remove explicit -Zborrowck=mir which does not affect...	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Remove a feature attribute for an accepted feature	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Use a label instead of a note for member constraint...	commit \| commitdiff \| tree
2021-10-13	Oli Scherer	Remove textual span from diagnostic string	commit \| commitdiff \| tree
2021-10-08	Oli Scherer	Directly call relate_types function instead of having...	commit \| commitdiff \| tree
2021-10-08	Oli Scherer	Re-use TypeChecker instead of passing around some of...	commit \| commitdiff \| tree
2021-10-02	Oli Scherer	Bump tracing to get the instrumentation perf improvement	commit \| commitdiff \| tree
2021-09-28	Oli Scherer	Pick one possible lifetime in case there are multiple...	commit \| commitdiff \| tree
2021-09-28	Oli Scherer	More tracing instrumentation	commit \| commitdiff \| tree
2021-09-23	Oli Scherer	Check that TAIT generics are fully generic in mir typeck...	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Avoid the overflow with rustc+debugassertions in issue...	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Add some more tracing	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Add a doc comment to infer_projection	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Use `ty::Error` for opaque types with errors in its...	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Generate inference vars and obligations for projections...	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Inline a function that is only called once	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Use tracing debugging in `fold_opaque_ty`	commit \| commitdiff \| tree
2021-09-20	Oli Scherer	Add helper function to `InferCtxt` that generates inference...	commit \| commitdiff \| tree
next

Empowering everyone to build reliable and efficient software.

RSS Atom