Commit 3b78a47 1 parent af98304 commit 3b78a47 Copy full SHA for 3b78a47
File tree 3 files changed +25
-1
lines changed
3 files changed +25
-1
lines changed Original file line number Diff line number Diff line change @@ -646,7 +646,6 @@ impl<'a> State<'a> {
646
646
647
647
self . print_where_clause ( & exist. generics . where_clause ) ?;
648
648
self . s . space ( ) ?;
649
- self . word_space ( ":" ) ?;
650
649
let mut real_bounds = Vec :: with_capacity ( exist. bounds . len ( ) ) ;
651
650
for b in exist. bounds . iter ( ) {
652
651
if let GenericBound :: Trait ( ref ptr, hir:: TraitBoundModifier :: Maybe ) = * b {
Original file line number Diff line number Diff line change
1
+ // compile-pass
2
+ // compile-flags: -Z unpretty=hir
3
+
4
+ #![ feature( existential_type) ]
5
+
6
+ trait Animal {
7
+ }
8
+
9
+ fn main ( ) {
10
+ pub existential type ServeFut : Animal ;
11
+ }
Original file line number Diff line number Diff line change
1
+ // compile-pass
2
+ // compile-flags: -Z unpretty=hir
3
+
4
+ #![feature(existential_type)]
5
+ #[prelude_import]
6
+ use ::std::prelude::v1::*;
7
+ #[macro_use]
8
+ extern crate std;
9
+
10
+ trait Animal { }
11
+
12
+ fn main() {
13
+ pub existential type ServeFut : Animal;
14
+ }
You can’t perform that action at this time.
0 commit comments