Skip to content

regression: type inference changes #123290

Closed
@Mark-Simulacrum

Description

@Mark-Simulacrum
[INFO] [stdout] error[E0283]: type annotations needed
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/polkavm-0.3.0/src/compiler.rs:424:31
[INFO] [stdout]     |
[INFO] [stdout] 424 |         let mut on_hostcall = wrap_on_hostcall(on_hostcall);
[INFO] [stdout]     |                               ^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `S` declared on the function `wrap_on_hostcall`
[INFO] [stdout]     |
[INFO] [stdout]     = note: cannot satisfy `_: sandbox::Sandbox`
[INFO] [stdout]     = help: the following types implement trait `sandbox::Sandbox`:
[INFO] [stdout]               generic::Sandbox
[INFO] [stdout]               sandbox::linux::Sandbox
[INFO] [stdout] note: required by a bound in `wrap_on_hostcall`
[INFO] [stdout]    --> /opt/rustwide/cargo-home/registry/src/index.crates.io-6f17d22bba15001f/polkavm-0.3.0/src/compiler.rs:417:138
[INFO] [stdout]     |
[INFO] [stdout] 417 | ...s<'r>) -> Result<(), Trap> + '_ where S: Sandbox {
[INFO] [stdout]     |                                             ^^^^^^^ required by this bound in `wrap_on_hostcall`
[INFO] [stdout] help: consider specifying the generic argument
[INFO] [stdout]     |
[INFO] [stdout] 424 |         let mut on_hostcall = wrap_on_hostcall::<S>(on_hostcall);
[INFO] [stdout]     |                                               +++++

Metadata

Metadata

Assignees

No one assigned

    Labels

    E-needs-mcveCall for participation: This issue has a repro, but needs a Minimal Complete and Verifiable ExampleT-compilerRelevant to the compiler team, which will review and decide on the PR/issue.regression-from-stable-to-betaPerformance or correctness regression from stable to beta.

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions