Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(options1): Add hint about Array Initialization #389

Merged
merged 1 commit into from
May 10, 2020

Conversation

jmahmood
Copy link
Contributor

@jmahmood jmahmood commented May 9, 2020

Array initialization / default variables is unrelated to Options and not overtly mentioned beforehand.
As the question is about Options, it is easy for someone new to Rust to misunderstand and look elsewhere for a solution.

Array initialization / default variables is unrelated to Options and not overtly mentioned beforehand.  
As the question is about Options, it is easy for someone new to Rust to misunderstand and look elsewhere for a solution.
Copy link
Member

@shadows-withal shadows-withal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks!

@shadows-withal shadows-withal changed the title Add hint about Array Initialization to options1.rs fix(options1): Add hint about Array Initialization May 10, 2020
@shadows-withal shadows-withal merged commit 9f75554 into rust-lang:master May 10, 2020
@jmahmood jmahmood deleted the patch-1 branch May 10, 2020 18:24
MendelMonteiro pushed a commit to MendelMonteiro/rustlings that referenced this pull request Jun 28, 2020
dlemel8 pushed a commit to dlemel8/rustlings that referenced this pull request Aug 2, 2020
@shadows-withal
Copy link
Member

@all-contributors add @jmahmood for content

@allcontributors
Copy link
Contributor

@fmoko

I've put up a pull request to add @jmahmood! 🎉

ppp3 pushed a commit to ppp3/rustlings that referenced this pull request May 23, 2022
dmoore04 pushed a commit to dmoore04/rustlings that referenced this pull request Sep 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants