Skip to content

type variables in method names are resolved in wrong scope #2312

Closed
@nikomatsakis

Description

@nikomatsakis

This does not work:

iface clam<A> { }


impl foo<A> for [A] {
   fn bar<B,C:clam<B>>(c: C) -> B { fail; }
}

fn main() { }

It yields:

/Users/nmatsakis/tmp/iface-res-bug.rs:5:19: 5:20 �error: unresolved typename: B
/Users/nmatsakis/tmp/iface-res-bug.rs:5    fn bar<B,C:clam<B>>(c: C) -> B { fail; }

Metadata

Metadata

Assignees

Labels

A-resolveArea: Name/path resolution done by `rustc_resolve` specifically

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions