











La plainte initiale concernant le voisin bruyant a été rejetée, et l'écart dans l'affaire judiciaire s'est concentré sur la quantité de bruit autorisée, et non sur le problème initial de la présence du voisin.



Selon la variance du constructeur de type, la relation de sous-typage des types simples peut être préservée, inversée ou ignorée pour les types complexes respectifs.