Repository navigation
"internal error in instantiate" when using a generic impl method #1700
Description
Activity
Here's the pastebin for more readable code:
http://pastebin.com/abiZ8fNC(Use triple-backticks before and after code blocks to have github format it properly.)
The problem is that
typeck::dict::resolve_exprshould also handle the cases ofmethod_paramandmethod_ifaceforexpr_field. It's probably an easy fix. I'll look into it tomorrow.- added a commit that references this issue
on Dec 30, 2024 - added a commit that references this issue
on Jan 2, 2025 - added a commit that references this issue
on Sep 14, 2026
This problem is illustrated with the following code:
use std;
import std::io::*;
iface ninja_str {
fn to_str() -> str;
}
impl of ninja_str for str {
fn to_str() -> str { self }
}
impl of ninja_str for [str] {
fn to_str() -> str {
alt vec::len(self) {
0u { "" }
x {
vec::foldl(self[0], vec::slice(self, 1u, x)) {|iter, y|
iter + ", " + y
}
}
}
}
}
// this works fine
fn print<T: ninja_str>(str: T) {
println(str.to_str());
}
impl ninja_file for writer {
// this causes 'error: internal error in instantiate'
fn build<T: ninja_str>(str: T) {
self.write(str::bytes(str.to_str()));
}
}
fn main() {
print("hello, world");
}