Searching in tests/ui/never_type