Hello, I would like to access the trait bound of a type that is defined in a trait from rustc's HIR (or THIR).
Example:
pub trait A {
type B: C
}
I went down to the TraitItemRef but I cannot find how to get the trait bound (C) from there. I guess I could find this information somewhere in the THIR but I don't know where. I would be thankful if someone could show me where to look
After getting lost in the compiler's docs I found out that to explore further a TraitItemRef, the solution is to use expect_trait_item and call it as in the following example: