When all intersection elements fail a call, we now use a priority hierarchy to determine which errors to show: 1. NotCallable (lowest) - object has no __call__ method 2. TopCallable - object is a top callable with unknown signature 3. BindingError (highest) - specific errors like invalid-argument-type Only errors from the highest priority category are shown. This prevents noise from less-specific errors when more informative errors are available. For example, if an intersection has one element that fails with invalid-argument-type and another that's not callable, we only show the invalid-argument-type error since it's more specific and actionable.
Markdown files within the mdtest/ subdirectory are tests of type inference and type checking;
executed by the tests/mdtest.rs integration test.
See crates/ty_test/README.md for documentation of this test format.