360f1e9e84
When calling an intersection type where all callable elements reject the specific call arguments, we now show an error for each failing element (similar to how unions work) instead of a single generic "not callable" error. This is achieved by: - Not filtering out failed elements when ALL elements fail - Returning BindingError instead of NotCallable to trigger individual diagnostics - Adding IntersectionDiagnostic struct and CompoundDiagnostic trait - Modifying report_diagnostics to iterate over intersection elements
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.