File tree 3 files changed +4
-4
lines changed
3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ impl rustc_driver::Callbacks for MyCallbacks {
58
58
fn after_crate_root_parsing (
59
59
& mut self ,
60
60
_compiler : & Compiler ,
61
- krate : & rustc_ast:: Crate ,
61
+ krate : & mut rustc_ast:: Crate ,
62
62
) -> Compilation {
63
63
for item in & krate. items {
64
64
println ! ( "{}" , item_to_string( & item) ) ;
Original file line number Diff line number Diff line change @@ -58,7 +58,7 @@ impl rustc_driver::Callbacks for MyCallbacks {
58
58
fn after_crate_root_parsing (
59
59
& mut self ,
60
60
_compiler : & Compiler ,
61
- krate : & rustc_ast:: Crate ,
61
+ krate : & mut rustc_ast:: Crate ,
62
62
) -> Compilation {
63
63
for item in & krate. items {
64
64
println ! ( "{}" , item_to_string( & item) ) ;
Original file line number Diff line number Diff line change @@ -40,7 +40,7 @@ requirements of impls and functions as explicit predicates.
40
40
### using implicit implied bounds as assumptions
41
41
42
42
These bounds are not added to the ` ParamEnv ` of the affected item itself. For lexical
43
- region resolution they are added using [ ` fn OutlivesEnvironment::with_bounds ` ] .
43
+ region resolution they are added using [ ` fn OutlivesEnvironment::new ` ] .
44
44
Similarly, during MIR borrowck we add them using
45
45
[ ` fn UniversalRegionRelationsBuilder::add_implied_bounds ` ] .
46
46
@@ -55,7 +55,7 @@ The assumed outlives constraints for implicit bounds are computed using the
55
55
MIR borrowck adds the outlives constraints for both the normalized and unnormalized types,
56
56
lexical region resolution [ only uses the unnormalized types] [ notnorm ] .
57
57
58
- [ `fn OutlivesEnvironment::with_bounds ` ] : https://github.com/rust-lang/rust/blob/5b8bc568d28b2e922290c9a966b3231d0ce9398b/compiler/rustc_infer/src/infer/outlives/env.rs#L90-L97
58
+ [ `fn OutlivesEnvironment::new ` ] : TODO
59
59
[ `fn UniversalRegionRelationsBuilder::add_implied_bounds` ] : https://github.com/rust-lang/rust/blob/5b8bc568d28b2e922290c9a966b3231d0ce9398b/compiler/rustc_borrowck/src/type_check/free_region_relations.rs#L316
60
60
[ mir ] : https://github.com/rust-lang/rust/blob/91cae1dcdcf1a31bd8a92e4a63793d65cfe289bb/compiler/rustc_borrowck/src/type_check/free_region_relations.rs#L258-L332
61
61
[ `fn assumed_wf_types` ] : https://github.com/rust-lang/rust/blob/5b8bc568d28b2e922290c9a966b3231d0ce9398b/compiler/rustc_ty_utils/src/implied_bounds.rs#L21
You can’t perform that action at this time.
0 commit comments