Not exactly. TrimPrefix first calls HasPrefix, which we already know to be true.