Type resolution redesign, with language changes to taste (via rcalixte) — discussion

#zig