Use implicitNotFound to get better error messages