Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/commands.ts')
| -rw-r--r-- | editors/code/src/commands.ts | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts index 16fc586d5d..c1b6f31030 100644 --- a/editors/code/src/commands.ts +++ b/editors/code/src/commands.ts @@ -599,6 +599,18 @@ export function viewMir(ctx: CtxInit): Cmd { return viewHirOrMir(ctx, "mir"); } +export function getFailedObligations(ctx: CtxInit): Cmd { + const uri = `rust-analyzer-failed-obligations://getFailedObligations/failedObligations.rs`; + const scheme = `rust-analyzer-failed-obligations`; + return viewFileUsingTextDocumentContentProvider( + ctx, + ra.getFailedObligations, + uri, + scheme, + true, + ); +} + // Opens the virtual file that will show the MIR of the function containing the cursor position // // The contents of the file come from the `TextDocumentContentProvider` |