Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

WIP eat all the delicious ICE #36

Merged
merged 2 commits into from
Dec 22, 2014
Merged

WIP eat all the delicious ICE #36

merged 2 commits into from
Dec 22, 2014

Conversation

Gankra
Copy link
Owner

@Gankra Gankra commented Dec 22, 2014

This just uncovers a different ICE in TreeSet.

Still digging...

@Gankra
Copy link
Owner Author

Gankra commented Dec 22, 2014

Everything fixed now.

@reem
Copy link
Collaborator

reem commented Dec 22, 2014

Changes look fine. Should we merge this until we can get it all merged? Either way should probably get squashed. (I am excited by whitespace too but not sure everyone who ever uses this library is too :))

@Gankra
Copy link
Owner Author

Gankra commented Dec 22, 2014

Whoops, messed up the config name. Fixed.

Also I guess squashed. This repo was the wild west! Where I could merge whatever I pleased whenever I pleased!

So nice.

@reem
Copy link
Collaborator

reem commented Dec 22, 2014

According to travis all is good, what happened to that TreeSet ICE?

@Gankra
Copy link
Owner Author

Gankra commented Dec 22, 2014

The fix is to use an explicit lifetime as per rust-lang/rust#19982

@reem
Copy link
Collaborator

reem commented Dec 22, 2014

Great! This looks good then.

reem added a commit that referenced this pull request Dec 22, 2014
WIP eat all the delicious ICE
@reem reem merged commit df57bfd into master Dec 22, 2014
@reem reem deleted the refreshment branch December 22, 2014 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants