Function user_written_external_function_still_warns

src/compilation_pipeline.rs:1904–1927

()

export impl Rect {
    area: (self: Rect*) -> i32 { return self.width * self.height }
}
"#;
        let mut pipeline = CompilationPipeline::new();
        pipeline.set_write_artifacts(false);
        pipeline.set_module_resolver(Some(Box::new(move |name: &str| {
            (name == "geometry").then(|| provider.to_owned())
        })));

        let importer = r#"
geometry := import("geometry")
measure: <T: geometry.Measurable>(value: T*) -> i32 { return value.area() }
main: () -> i32 {
    rect: geometry.Rect = { .width = 6, .height = 7 }
    return measure<geometry.Rect>(&rect)
}
"#;
        pipeline
            .compile_program_closure("main", importer)
            .expect("qualified imported interface bound should compile");
    }

    #[test]
    fn imported_bounded_struct_preserves_its_interface_contract() {
        let provider = r#"
export interface Measurable {
    area: (self: Self*) -> i32
}