diff options
| author | Edwin Cheng <[email protected]> | 2021-04-03 05:50:55 +0100 |
|---|---|---|
| committer | Edwin Cheng <[email protected]> | 2021-04-03 05:50:55 +0100 |
| commit | 20d55ce44d4260b6dce220ba64ce81f55299d2ce (patch) | |
| tree | 69585b1cd0b39294bb6f08b392957a4037214b1d /crates/hir_ty/src/chalk_cast.rs | |
| parent | b5804296ddceec7694d4787cec8ede726d64b8d2 (diff) | |
Allow include! an empty content file
Diffstat (limited to 'crates/hir_ty/src/chalk_cast.rs')
0 files changed, 0 insertions, 0 deletions