chalk
chalk copied to clipboard
rust-lang
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
For folding operations that cannot fail, the existing fallible folding trait is a little unergonomic. This PR introduces an infallible folder trait that can be used as a more ergonomic...
This starts adding terms into chalk so that associated consts can be equated.
Bumps [crossbeam-utils](https://github.com/crossbeam-rs/crossbeam) from 0.8.5 to 0.8.9. Release notes Sourced from crossbeam-utils's releases. crossbeam-utils 0.8.9 Replace lazy_static with once_cell. (#817) crossbeam-utils 0.8.8 Fix a bug when unstable loom support is enabled....
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [regex](https://github.com/rust-lang/regex) from 1.5.4 to 1.5.5. Changelog Sourced from regex's changelog. 1.5.5 (2022-03-08) This releases fixes a security bug in the regex compiler. This bug permits a vector for a...
Bumps [thread_local](https://github.com/Amanieu/thread_local-rs) from 1.1.3 to 1.1.4. Commits 4a54e57 Bump version to 1.1.4 ebf8b45 Merge pull request #34 from ibraheemdev/patch-1 3d69afa Fix memory ordering in RawIter::next See full diff in compare...
Using the interactive commands, creating the program ``` #[auto] trait Send { } struct SomeStruct { } ``` then calling "lowered" causes chalk to panic. The same does not seem...
PR https://github.com/rust-lang/chalk/pull/754 tweaked the behavior of recursive solver to do a better job merging multiple results (and in particular to recognize the special case of "always true"), but it did...
Prior to https://github.com/rust-lang/rust/pull/86041 , Copy and Clone are implemented on arrays by way of compiler magic. Now that const generics exist, these magical impls can be converted to proper library...
This chalk test fails: ```rust #[test] fn warp() { test! { program { struct Product where T: HList {} trait HList { type Tuple: Tuple; } trait Tuple { type...
In https://github.com/rust-analyzer/rust-analyzer/issues/9990 we've found this failing test: ```rust test!( program { #[upstream] #[non_enumerable] #[lang(sized)] trait Sized {} #[non_enumerable] #[object_safe] trait Database {} #[non_enumerable] trait QueryGroup where Self: Sized, { type...
