Fix borrowed type check

Actually a borrowed type can be used as many times as you like, it's
just the names inside the pattern that can't be used without being lent
first!