builtin: add runtime check for []Type{cap: negative}

builtin: add runtime check for []Type{cap: negative} #13123