Skip to content

remove the is_instantiable check #28132

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

Merged
merged 1 commit into from
Sep 2, 2015
Merged

Conversation

arielb1
Copy link
Contributor

@arielb1 arielb1 commented Aug 31, 2015

It is very easy to bypass, and is a relic of a bygone age where the type-checker was much less robust.

Fixes #27497

r? @nikomatsakis

@nikomatsakis
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Sep 1, 2015

📌 Commit 321f8d8 has been approved by nikomatsakis

@nikomatsakis
Copy link
Contributor

@bors r-

@nikomatsakis
Copy link
Contributor

actually, I was just wondering -- is it worth doing a crater run on this patch do you think? ah, I guess not. This might turn some well-structured errors into ICEs, but that's it.

@nikomatsakis
Copy link
Contributor

@bors r+

@bors
Copy link
Collaborator

bors commented Sep 1, 2015

📌 Commit 321f8d8 has been approved by nikomatsakis

@bors
Copy link
Collaborator

bors commented Sep 1, 2015

⌛ Testing commit 321f8d8 with merge ead182f...

@bors
Copy link
Collaborator

bors commented Sep 1, 2015

💔 Test failed - auto-linux-64-opt

@alexcrichton
Copy link
Member

@bors: retry

On Tue, Sep 1, 2015 at 3:08 PM, bors [email protected] wrote:

[image: 💔] Test failed - auto-linux-64-opt
http://buildbot.rust-lang.org/builders/auto-linux-64-opt/builds/6265


Reply to this email directly or view it on GitHub
#28132 (comment).

bors added a commit that referenced this pull request Sep 1, 2015
It is *very* easy to bypass, and is a relic of a bygone age where the type-checker was *much* less robust.

Fixes #27497

r? @nikomatsakis
@bors
Copy link
Collaborator

bors commented Sep 1, 2015

⌛ Testing commit 321f8d8 with merge 7780408...

@bors bors merged commit 321f8d8 into rust-lang:master Sep 2, 2015
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.

4 participants