File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -4,6 +4,8 @@ use chalk_rust_ir::*;
44use chalk_solve:: { RustIrDatabase , SolverChoice } ;
55use std:: sync:: Arc ;
66
7+ // FIXME: some of these are probably redundant, so we should figure out which panic in the same place in `chalk-engine`
8+
79#[ derive( Debug ) ]
810enum PanickingMethod {
911 NoPanic ,
@@ -26,12 +28,11 @@ struct MockDatabase {
2628 panicking_method : PanickingMethod ,
2729}
2830
29- /// This DB is representint lowered program:
31+ /// This DB represents the following lowered program:
3032///
3133/// struct Foo { }
3234/// trait Bar { }
3335/// impl Bar for Foo { }
34- // FIXME: Check if items returned from functions of this struct can be simplified
3536#[ allow( unused_variables) ]
3637impl RustIrDatabase < ChalkIr > for MockDatabase {
3738 fn custom_clauses ( & self ) -> Vec < ProgramClause < ChalkIr > > {
You can’t perform that action at this time.
0 commit comments