You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
mod nested {
pub trait Other {
const ABC: felt252;
}
pub mod nested {
use super::Other;
pub impl OtherImpl of Other {
const ABC: felt252 = 123;
}
}
}
trait Trait {
const C: u8;
impl A: nested::Other;
type T;
fn f();
}
impl TraitImpl of Trait {
type T = u8;
const C: u8 = 5;
impl A = nested::nested::OtherImpl;
fn f() {
let _x: Self::T = Self::C;
Self::A::ABC;
}
}
Using gotos, and find references on T/C/A usages and definitions does not yield expected results (it resolves the types directly instead of going to trait definition). This should be fixed in a similar manner that ExprPaths references are handled for impls (done in #640)
Steps
No response
Possible Solution(s)
No response
Notes
No response
Scarb Version
The text was updated successfully, but these errors were encountered:
Problem
Given the example:
Using gotos, and find references on T/C/A usages and definitions does not yield expected results (it resolves the types directly instead of going to trait definition). This should be fixed in a similar manner that
ExprPath
s references are handled for impls (done in #640)Steps
No response
Possible Solution(s)
No response
Notes
No response
Scarb Version
The text was updated successfully, but these errors were encountered: