File tree Expand file tree Collapse file tree 1 file changed +3
-27
lines changed Expand file tree Collapse file tree 1 file changed +3
-27
lines changed Original file line number Diff line number Diff line change 1
1
use chalk_ir:: interner:: { ChalkIr , RawId } ;
2
- use chalk_ir:: ApplicationTy ;
3
- use chalk_ir:: AssocTypeId ;
4
- use chalk_ir:: Binders ;
5
- use chalk_ir:: ImplId ;
6
- use chalk_ir:: OpaqueTyId ;
7
- use chalk_ir:: Parameter ;
8
- use chalk_ir:: ParameterKinds ;
9
- use chalk_ir:: ProgramClause ;
10
- use chalk_ir:: StructId ;
11
- use chalk_ir:: Substitution ;
12
- use chalk_ir:: TraitId ;
13
- use chalk_ir:: TraitRef ;
14
- use chalk_ir:: Ty ;
15
- use chalk_ir:: TypeName ;
16
- use chalk_rust_ir:: AssociatedTyDatum ;
17
- use chalk_rust_ir:: AssociatedTyValue ;
18
- use chalk_rust_ir:: AssociatedTyValueId ;
19
- use chalk_rust_ir:: ImplDatum ;
20
- use chalk_rust_ir:: ImplDatumBound ;
21
- use chalk_rust_ir:: ImplType ;
22
- use chalk_rust_ir:: OpaqueTyDatum ;
23
- use chalk_rust_ir:: Polarity ;
24
- use chalk_rust_ir:: StructDatum ;
25
- use chalk_rust_ir:: TraitDatum ;
26
- use chalk_rust_ir:: WellKnownTrait ;
27
- use chalk_solve:: RustIrDatabase ;
28
- use chalk_solve:: SolverChoice ;
2
+ use chalk_ir:: * ;
3
+ use chalk_rust_ir:: * ;
4
+ use chalk_solve:: { RustIrDatabase , SolverChoice } ;
29
5
use std:: sync:: Arc ;
30
6
31
7
#[ derive( Debug , Default ) ]
You can’t perform that action at this time.
0 commit comments