From 078c50249390457c056ae4cecba05e80944bed47 Mon Sep 17 00:00:00 2001 From: SE-FDr <88034434+SE-FDr@users.noreply.github.com> Date: Wed, 20 Nov 2024 14:21:03 +0100 Subject: [PATCH] Typo MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Alex Lüpges --- .../src/main/java/de/monticore/types3/generics/Generics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md b/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md index 6152334e9..851b522f5 100644 --- a/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md +++ b/monticore-grammar/src/main/java/de/monticore/types3/generics/Generics.md @@ -161,7 +161,7 @@ has not been used "to their full potential": the type that is the subtype of all types. Analogue to `#TOP`, `#BOTTOM` represents the lack of a more specific lower bound. -`#Bottom` has no values. +`#BOTTOM` has no values. Inference variables are never instantiated to `#BOTTOM`. ## How to get the type of an ASTNode with generics?