From a25dc2956b4810b83f3405cd71b6874a871c5fa6 Mon Sep 17 00:00:00 2001 From: Ken Kawamoto Date: Wed, 17 Jun 2020 11:02:42 -0700 Subject: [PATCH] trivial changes to trigger GitHub action --- src/subtyping.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/subtyping.md b/src/subtyping.md index 714776a..7fc20c1 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -408,8 +408,8 @@ in multiple fields. * Otherwise, Foo is invariant over A --> -* もし A を使用しているすべてのものが変性である場合、 Foo は A において変性です -* そうでなければ、 Foo は A において非変性です +* もし A を使用しているすべてのものが変性である場合、 Foo は A において変性です。 +* そうでなければ、 Foo は A において非変性です。 ```rust use std::cell::Cell;