API: Add a method to check if a semantic type implements a trait

Open xFrednet opened this issue 2 years ago • 1 comments

This method could look similar to Clippy's implements_trait util.

Once #93 is resolved, we should have access to the TyDefId of traits. Semantic paths are also almost done (#139). This function will require an option to have the user specify generic arguments for the trait.

In short: This will be fun or at least complex, but the base for this should be set with the two linked issued.

Jun 16 '23 12:06 xFrednet

Not sure, if I'll be able to complete this for v0.2.0, but I've added it to the tracker for now :)

Jul 25 '23 08:07 xFrednet