cross-crate impl of reexported trait isn't resolved #3155

Closed

Closed

cross-crate impl of reexported trait isn't resolved#3155

Labels

A-linkageA-resolve

Milestone

Contributor

run-pass/crate-method-reexport-grrrrrrrrr.rs doesn't work correctly with new trait/impls. It's aux file contains the following hack:

import name_pool::__extensions__;

Without it the add method on () isn't resolved.

mentioned this

on Aug 20, 2012

crate-method-reexport-grrrrrrr.rs broken by recent (metadata?) changes #3233

closed this as completedin 3f7b112

added a commit that references this issue

on May 15, 2021

Merge pull request rust-lang#3155 from emilio/missed-spans-bug

added a commit that references this issue

on Nov 12, 2023

Auto merge of rust-lang#3155 - RalfJung:data-race-docs, r=RalfJung

added a commit that references this issue

Fix cbmc-update CI job (rust-lang#3156)

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

A-linkageA-resolve

Type

No type

Projects

No projects

Milestone

0.5
Closed Jun 13, 2013, 100% complete

Relationships

None yet

Development

No branches or pull requests

Participants