We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 271b4d6 commit fc4e623Copy full SHA for fc4e623
chalk-solve/src/goal_builder.rs
@@ -1,5 +1,3 @@
1
-#![allow(dead_code)]
2
-
3
use crate::RustIrDatabase;
4
use cast::CastTo;
5
use chalk_ir::cast::Cast;
0 commit comments