Member predicate Impl::Impl::getTrait

Gets the trait being implemented, if any.

For example, in

impl MyType { ... }

impl MyTrait for MyType { ... }

the trait being implemented is in the second case MyTrait.