reset_path: typecheck everything before alloc