More coverage for trait resolution. Little by little...