FAQ about type refinement from initializers into constructors#7639

mernst wants to merge 2 commits intotypetools:mastertypetools/checker-framework:masterfrom

mernst:faq-constructor-operationsmernst/checker-framework:faq-constructor-operationsCopy head branch name to clipboard