Skip to content

Commit

Permalink
trivial changes to trigger GitHub action
Browse files Browse the repository at this point in the history
  • Loading branch information
Ken Kawamoto authored Jun 17, 2020
1 parent 1e8954b commit a25dc29
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/subtyping.md
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down

0 comments on commit a25dc29

Please sign in to comment.