Skip to content

Bound and supertrait bounds can be empty #30106

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Closed
bluss opened this issue Nov 29, 2015 · 3 comments
Closed

Bound and supertrait bounds can be empty #30106

bluss opened this issue Nov 29, 2015 · 3 comments
Labels
A-grammar Area: The grammar of Rust

Comments

@bluss
Copy link
Member

bluss commented Nov 29, 2015

These examples all compile:

trait A : { }

struct Foo<T: > { t: T }

fn foo<T: >() { }

I expected empty bounds lists to be an error.

@Gankra
Copy link
Contributor

Gankra commented Nov 29, 2015

I could see this being useful for macros?

@sanxiyn sanxiyn added the A-grammar Area: The grammar of Rust label Nov 30, 2015
@eddyb
Copy link
Member

eddyb commented Apr 15, 2017

cc @petrochenkov

@petrochenkov
Copy link
Contributor

It was decided this is valid syntax, see #37511 and #39158.

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
A-grammar Area: The grammar of Rust
Projects
None yet
Development

No branches or pull requests

5 participants