Laurențiu Nicola ab10ac7d92 Increase chalk overflow depth

2021-08-08 18:40:28 +03:00

..

diagnostics

Add reference here diagnostic

2021-08-08 10:12:40 +02:00

infer

internal: explain that we don't ref in style.md

2021-08-02 15:59:28 +03:00

tests

Fix binders with bare dyn trait

2021-08-05 22:44:38 +02:00

autoderef.rs

Add Limit struct.

2021-07-19 13:26:11 +01:00

builder.rs

…

chalk_db.rs

Add coverage mark for block local impls

2021-06-20 19:12:06 +02:00

chalk_ext.rs

Represent opaque types with TyKind::OpaqueType

2021-07-08 21:40:35 +02:00

consteval.rs

Nest all the or-patterns!

2021-06-17 17:37:14 +02:00

db.rs

Make block-local trait impls work

2021-06-13 13:00:34 +02:00

diagnostics.rs

internal: refactor incorrect case diagnostics

2021-06-13 21:09:03 +03:00

display.rs

internal: explain that we don't ref in style.md

2021-08-02 15:59:28 +03:00

infer.rs

Resolve tuple variants in value namespace

2021-07-22 13:40:18 +02:00

interner.rs

Represent opaque types with TyKind::OpaqueType

2021-07-08 21:40:35 +02:00

lib.rs

Record autoderef adjustments

2021-07-10 12:26:18 +02:00

lower.rs

Fix binders with bare dyn trait

2021-08-05 22:44:38 +02:00

mapping.rs

…

method_resolution.rs

Make block-local trait impls work

2021-06-13 13:00:34 +02:00

op.rs

Nest all the or-patterns!

2021-06-17 17:37:14 +02:00

primitive.rs

…

test_db.rs

fix: Typos

2021-07-27 18:31:21 -04:00

tests.rs

Record coercion adjustments

2021-07-08 13:07:24 +02:00

tls.rs

Represent opaque types with TyKind::OpaqueType

2021-07-08 21:40:35 +02:00

traits.rs

Increase chalk overflow depth

2021-08-08 18:40:28 +03:00

utils.rs

Fix deduction of dyn Fn closure parameter types

2021-06-30 15:04:04 +02:00

walk.rs

…