better diagnostic for require failures
thank you, exhaustivity checker!