Skip to content
This repository has been archived by the owner on May 4, 2024. It is now read-only.

Fix typo #1015

Merged
merged 1 commit into from
Mar 28, 2023
Merged

Fix typo #1015

merged 1 commit into from
Mar 28, 2023

Commits on Mar 28, 2023

  1. Fix typo 

    "At the end of a function (when `Ret` is reached), *no local* whose type is of resource kind must be empty, i.e., the value must have been moved out of the local."
I suppose that should be *any local* instead.
    @fEst1ck
    fEst1ck committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    1b54f4b View commit details
    Browse the repository at this point in the history