API: Add sem::TyKind::implements_trait (Draft)
#340
+543
−13
sem::TyKind::implements_trait (Draft)
#340