File tree Expand file tree Collapse file tree 3 files changed +28
-1
lines changed Expand file tree Collapse file tree 3 files changed +28
-1
lines changed Original file line number Diff line number Diff line change @@ -7,6 +7,6 @@ refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
7
7
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8
8
refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
9
9
refs/heads/incoming: d9317a174e434d4c99fc1a37fd7dc0d2f5328d37
10
- refs/heads/dist-snap: 18da7fef888cc51a4cb16e495f0c4682350a449a
10
+ refs/heads/dist-snap: dac4916cec14751f27898d09ab9dcf3db9f30ad5
11
11
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
12
12
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
Original file line number Diff line number Diff line change @@ -2920,6 +2920,8 @@ class Resolver {
2920
2920
NormalRibKind ) )
2921
2921
|| {
2922
2922
2923
+ self . resolve_type_parameters ( type_parameters, visitor) ;
2924
+
2923
2925
for methods. each |method| {
2924
2926
// Create a new rib for the method-specific type
2925
2927
// parameters.
Original file line number Diff line number Diff line change
1
+ trait connection {
2
+ fn read ( ) -> int ;
3
+ }
4
+
5
+ trait connection_factory < C : connection > {
6
+ fn create ( ) -> C ;
7
+ }
8
+
9
+ type my_connection = ( ) ;
10
+ type my_connection_factory = ( ) ;
11
+
12
+ impl of connection for ( ) {
13
+ fn read ( ) -> int { 43 }
14
+ }
15
+
16
+ impl of connection_factory < my_connection > for my_connection_factory {
17
+ fn create ( ) -> my_connection { ( ) }
18
+ }
19
+
20
+ fn main ( ) {
21
+ let factory = ( ) ;
22
+ let connection = factory. create ( ) ;
23
+ let result = connection. read ( ) ;
24
+ assert result == 43 ;
25
+ }
You can’t perform that action at this time.
0 commit comments