Los campos 'val' no inicializados en tipos de construcción implícitos deben ser mutables y estar marcados con el atributo ...