jackh726 f870ae8dc0 Review comments - some cleanups to get_failed_obligations, including returning a list

2025-12-21 01:05:36 +00:00

..

src

Review comments - some cleanups to get_failed_obligations, including returning a list

2025-12-21 01:05:36 +00:00

Cargo.toml

Add lsp extension to get failed trait obligations for a given function

2025-12-20 22:43:58 +00:00