N1ark

### SDK version ``` v2.21.0 ``` ### Relevant provider source code ```go &schema.Resource{ // Root resource Schema: map[string]*schema.Schema{ "analysis_definition": { Type: schema.TypeList, MaxItems: 1, Required: true, Elem: &schema.Resource{ Schema: analysisDefinitionSchema,...

Handling errors

3

I've been using the plugin, and noticed that it doesn't seem possible to properly catch errors thrown within the `source` async function to allow for a graceful exit with `this.error`...

The function `texture` is a builtin function that replaces `texture2D` etc. -- it shouldn't be mangled :) Fixes #64

Function types are not supported

1

MIR has two distinct function-y types: - [`FnDef`](https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty/type.TyKind.html#variant.FnDef) represents a specific function's type, along with that function's ID: ```rust fn foo() -> i32 { 1 } let bar = foo;...

Support `StatementKind::PlaceMention`

2

Though a comment in Charon's driver seems to imply [`StatementKind::PlaceMention`](https://doc.rust-lang.org/stable/nightly-rustc/rustc_middle/mir/enum.StatementKind.html#variant.PlaceMention) is there "only to make borrow-checking accept less code", which is not entirely true I think. In particular it requires...

The translation of the following snippets of code fail with `--extract-opaque-bodies --monomorphize`, due to errors in the generics -- this issue is meant to be updated as we fix these...

### Motivations For the interpreter I'm writing at https://github.com/soteria-tools/soteria, I need to special case `Literal::Str` quite heavily, since a string is not "just" a literal, but rather a reference to...

Encountering a weird error when attempting to have two labels, the second one being *below* the first. I don't know the code base at all so have no idea what...