Skip to content
Closed
Changes from 1 commit
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
cc0fbdf
Automatically prefer integer addresses for zst MPlace
oli-obk Dec 21, 2019
5b770b0
Remove a ZST special casing that is not necessary anymore
oli-obk Dec 21, 2019
4a5c35b
Fix an ICE happening due code assuming that `MPlaceTy` cannot have in…
oli-obk Dec 21, 2019
cac6f4c
Move `to_const_value` from `MPlaceTy` to its only use site
oli-obk Dec 26, 2019
4fbe434
Poison any `MemPlace` created from a zst Operand (or otherwise via `M…
oli-obk Dec 26, 2019
23b0c47
Ensure we don't accidentally turn non-zsts into zsts
oli-obk Dec 26, 2019
a1990db
Remove a bunch of dead functions and make some functions private
oli-obk Dec 26, 2019
f7f5952
Add warning label to `try_as_mplace`
oli-obk Dec 27, 2019
29c372b
Add more documentation
oli-obk Jan 7, 2020
d0b24e5
Actually use the poison value
oli-obk Jan 7, 2020
9c0000c
Point at opaque and closure type definitions in type errors
estebank Nov 16, 2019
c556151
review comments
estebank Dec 15, 2019
0dcdbae
Point at the def span of trait refs E0277
estebank Dec 16, 2019
542be6f
review comment: wording
estebank Dec 16, 2019
b522ba0
review comments
estebank Jan 8, 2020
ffcdbad
review comments
estebank Jan 8, 2020
705e087
reduce code duplication
estebank Jan 8, 2020
33ae322
remove unnecessary `Debug`
estebank Jan 8, 2020
bcab59e
lowering: simplify HoFs
Centril Jan 6, 2020
956265d
lowering: elide some lifetimes
Centril Jan 6, 2020
f75ccde
extract pattern lowering -> pat.rs
Centril Jan 6, 2020
ae6e31b
move lower_binding_mode -> pat.rs
Centril Jan 6, 2020
4e6329e
extract path lowering -> path.rs
Centril Jan 6, 2020
2db97ed
refactor 'Output = $ty' & reduce rustc dep
Centril Jan 6, 2020
69b1e5c
{rustc::util -> rustc_data_structures}::captures
Centril Jan 6, 2020
402907f
lowering: rustc::session -> rustc_session
Centril Jan 6, 2020
7472f9e
lowering: remove dep on CrateStore
Centril Jan 6, 2020
b743af6
rename a method in Resolver trait
Centril Jan 8, 2020
5dafa6a
add CStore::item_generics_num_lifetimes
Centril Jan 9, 2020
e632940
Update src/librustc_mir/interpret/place.rs
oli-obk Jan 9, 2020
a4fa5bb
Rename `Unsized` to `Meta`
oli-obk Jan 9, 2020
c5c4fa8
Switch assertion order to be more helpful to ppl that encounter them
oli-obk Jan 9, 2020
010b66d
Allow specifying LLVM args in target specifications
Jan 9, 2020
915db7a
expect `fn` after `const unsafe` / `const extern`
Centril Jan 9, 2020
c751961
Extend support of `_` in type parameters
estebank Jan 9, 2020
6e04cf0
review comments: more tests
estebank Jan 9, 2020
63e2e44
Add `const_trait_impl` feature gate
ecstatic-morse Jan 2, 2020
6fc4158
Add `const_trait_bound_opt_out` feature gate
ecstatic-morse Jan 2, 2020
fd4a6a1
Add a `constness` field to `ast::TraitRef`
ecstatic-morse Jan 2, 2020
1c3fe9d
Parse `impl const Trait for Ty` syntax
ecstatic-morse Jan 2, 2020
0cf52a7
Parse `?const Trait` bound syntax
ecstatic-morse Jan 2, 2020
b390fc4
Error when new syntax is lowered
ecstatic-morse Jan 3, 2020
31edbe9
Reject `const` in inherent impls
ecstatic-morse Jan 4, 2020
d843e00
Check for `?const` in invalid contexts during AST validation
ecstatic-morse Jan 5, 2020
343e157
Add tests for RFC 2632
ecstatic-morse Jan 3, 2020
b6b11f0
Call all visit methods on trait definitions
ecstatic-morse Jan 5, 2020
9950a1f
Add test for `?const` and `?` on the same bound
ecstatic-morse Jan 5, 2020
14730ed
Make `bound_context` more like neighboring functions
ecstatic-morse Jan 6, 2020
fd1c003
Add test for `?const` in nested impl/dyn trait
ecstatic-morse Jan 6, 2020
fd9991c
Rollup merge of #66463 - estebank:point-at-closure-and-opaque-types, …
Centril Jan 10, 2020
79bb166
Rollup merge of #67501 - oli-obk:test-slice-patterns, r=RalfJung
Centril Jan 10, 2020
98e6e05
Rollup merge of #67820 - ecstatic-morse:const-trait, r=oli-obk
Centril Jan 10, 2020
b8b0742
Rollup merge of #67922 - Centril:lowering-cleanup, r=petrochenkov
Centril Jan 10, 2020
0d959ad
Rollup merge of #68059 - jethrogb:jb/target-llvm-args, r=alexcrichton
Centril Jan 10, 2020
25e57f4
Rollup merge of #68071 - estebank:ice-67995, r=Centril
Centril Jan 10, 2020
a33e7c6
Rollup merge of #68073 - Centril:fix-68062, r=estebank
Centril Jan 10, 2020
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Call all visit methods on trait definitions
  • Loading branch information
ecstatic-morse committed Jan 10, 2020
commit b6b11f0f282081b2baa3961cc9f78313eafcc8b4
3 changes: 3 additions & 0 deletions src/librustc_passes/ast_validation.rs
Original file line number Diff line number Diff line change
Expand Up @@ -741,11 +741,14 @@ impl<'a> Visitor<'a> for AstValidator<'a> {

// Equivalent of `visit::walk_item` for `ItemKind::Trait` that inserts a bound
// context for the supertraits.
self.visit_vis(&item.vis);
self.visit_ident(item.ident);
self.visit_generics(generics);
self.with_bound_context(Some(BoundContext::TraitBounds), |this| {
walk_list!(this, visit_param_bound, bounds);
});
walk_list!(self, visit_trait_item, trait_items);
walk_list!(self, visit_attribute, &item.attrs);
return;
}
ItemKind::Mod(_) => {
Expand Down