Florian Diebold baeb16e83f Improve Chalk debugging ...

- add panic context for the trait goal if CHALK_DEBUG is set
 - print the Chalk program even if we're panicking
 - log goal/solution while TLS is still set

2020-10-23 15:28:02 +02:00

..

diagnostics

Merge #6319

2020-10-22 14:24:10 +00:00

infer

binary operator overload type inference: add test mark

2020-10-14 19:00:04 +02:00

tests

binary operator overload type inference: add test mark

2020-10-14 19:00:04 +02:00

traits

Make unimplemented match variants explicit

2020-10-06 23:56:31 -07:00

autoderef.rs

…

db.rs

…

diagnostics.rs

Add descriptions for diagnostics parseable by xtask

2020-10-19 20:55:16 +03:00

display.rs

Fix trait object hir formatting behind pointer and references

2020-10-06 14:40:27 +02:00

infer.rs

Implement binary operator overloading type inference

2020-10-13 20:48:08 +02:00

lib.rs

Update chalk to 0.27 and adapt to chalk changes.

2020-09-15 22:37:05 +08:00

lower.rs

Use Ty::apply instead of simple and fix method resolution.

2020-09-17 00:58:41 +08:00

method_resolution.rs

Use Ty::apply instead of simple and fix method resolution.

2020-09-17 00:58:41 +08:00

op.rs

…

primitive.rs

…

test_db.rs

…

tests.rs

Switch to expect_test from crates.io

2020-08-21 13:19:31 +02:00

traits.rs

Improve Chalk debugging

2020-10-23 15:28:02 +02:00

utils.rs

…