When trying to recover from missing assumptions, the case of NotObj does not consider the object is a promise, therefore it does not fail. It could lead to calling into a PIR function not compatible with the current arguments.
Ideally, we could recursively loop over the promise. This will happen anyway in inferCurrentContext later on (provided we correctly set the fail flag)
When trying to recover from missing assumptions, the case of NotObj does not consider the object is a promise, therefore it does not fail. It could lead to calling into a PIR function not compatible with the current arguments. Ideally, we could recursively loop over the promise. This will happen anyway in
inferCurrentContext
later on (provided we correctly set thefail
flag)https://github.com/reactorlabs/rir/blob/f5c47de4b0c09594635b542d0d078b2575989c0d/rir/src/compiler/native/builtins.cpp#L1366