tqchen opened a new pull request, #777: URL: https://github.com/apache/tvm-ffi/pull/777
Typed structural mutation helpers need to convert compatible `UnchangedOr` results and propagate child errors across different success types. The assignment macro also repeats checks for already compatible typed results. Add implicit `UnchangedOr` conversions and storage-subsumption rules for `UnchangedOr` and `Expected`. Use those rules to omit redundant assignment checks while retaining checks for erased or narrower sources, and propagate child errors through the existing error-only return helper. Correct the borrowed `AnyView` adapter for wrapper values. Validation: C++ ASan suite (498 passed), editable Python build and structural tests (58 passed), changed-line clang-format, and typed mutation compile/codegen probes. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
