From 0d5f48f8e068c015e85d26f268cccc832aed41ac Mon Sep 17 00:00:00 2001 From: Ignacio Lucero Date: Thu, 12 Aug 2021 16:56:01 +0200 Subject: [PATCH] Delete redundant word in reflection page. --- _overviews/reflection/overview.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_overviews/reflection/overview.md b/_overviews/reflection/overview.md index 2a8cbae7e8..3de78d0525 100644 --- a/_overviews/reflection/overview.md +++ b/_overviews/reflection/overview.md @@ -262,7 +262,7 @@ precise runtime _types_ of these Scala objects. Scala runtime types carry along all type info from compile-time, avoiding these types mismatches between compile-time and run-time. -Below, we use define a method which uses Scala reflection to get the runtime +Below, we define a method which uses Scala reflection to get the runtime types of its arguments, and then checks the subtyping relationship between the two. If its first argument's type is a subtype of its second argument's type, it returns `true`.