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

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

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
2021-08-31	Oli Scherer	Concrete regions can show up in mir borrowck if the...	commit \| commitdiff \| tree
2021-08-10	Oli Scherer	Don't collect into a `Vec` that is immediately being...	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	bless some nll tests	commit \| commitdiff \| tree
2021-08-06	Oli Scherer	Document `with_opaque_type_inference`'s use cases.	commit \| commitdiff \| tree
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
next

Empowering everyone to build reliable and efficient software.

RSS Atom