rust/src/test/ui/chalkify/lower_struct.rs, branch 1.52.0
https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.52.0
2020-05-07T21:35:58+00:00
Reintegrate chalk using chalk-solve
2020-05-07T21:35:58+00:00
Jack Huey
jack.huey@umassmed.edu
2020-03-03T16:25:03+00:00
urn:sha1:a24df5b3cdeb49334d6cde1c4d983b2354616824
Remove chalk integration
2020-03-02T23:11:53+00:00
CAD97
cad97@cad97.com
2020-02-17T20:32:37+00:00
urn:sha1:b3777c952f1752de0762e3f0882ac5ffb6eeb7ee
Remove licenses
2018-12-26T04:08:33+00:00
Mark Rousskov
mark.simulacrum@gmail.com
2018-12-25T15:56:47+00:00
urn:sha1:2a663555ddf36f6b041445894a8c175cd1bc718c
Pretty print quantified goals and clauses
2018-11-13T11:28:43+00:00
scalexm
alexandre@scalexm.fr
2018-10-31T17:55:40+00:00
urn:sha1:eacebf24b0e42df1cc8161d8a5023c83d24ddced
Add tests for `WellFormed-Type` and `FromEnv-Type` rules
2018-06-07T12:45:09+00:00
scalexm
martin.alex32@hotmail.fr
2018-06-07T12:45:09+00:00
urn:sha1:796ded2dfd2c042fc355c22558881fc7b6ed00cf