Use resolved-type matching rather than as-written in trait exposing