Issues

• Support immutability from freeze (builder) pattern

  opprop/immutability#64 · Filter by author aosen-xiong opened on Dec 23, 2024

• [Typecheck] Redundant check of invalid type annotation

  opprop/immutability#60 · Filter by author aosen-xiong opened on Jul 17, 2024
  1

• Methods called from toString need a readonly receiver type

  opprop/immutability#59 · Filter by author Shreyas-BS opened on Jun 30, 2024
  3

• Crash errors of PICO-aosen-master

  opprop/immutability#57 · Filter by author aosen-xiong opened on Jun 24, 2024

• Default switch option Mutable to Immutable

  opprop/immutability#56 · Filter by author aosen-xiong opened on Jun 13, 2024
  1

• Raw type in error message

  opprop/immutability#55 · Filter by author aosen-xiong opened on Jun 5, 2024
  1

• Create Javadoc for PICO's source code

  opprop/immutability#54 · Filter by author aosen-xiong opened on May 31, 2024 · Javadoc

• Understand where PICO should report error

  opprop/immutability#53 · Filter by author aosen-xiong opened on May 31, 2024 · PICO error issue location
  2

• System.out.println is creating error with @Immutable type and @Readonly type

  opprop/immutability#50 · Filter by author Shreyas-BS opened on May 30, 2024
  1

• [Test] Record class in Java17

  opprop/immutability#49 · Filter by author aosen-xiong opened on May 8, 2024

• Immutable field annotation interact with initialization checker

  opprop/immutability#42 · Filter by author aosen-xiong opened on Mar 5, 2024
  2

• Annotation-tools cannot insert anno to array variable with initializer

  opprop/immutability#22 · Filter by author lnsun opened on Apr 12, 2021

• When @RDM is used on the declaration of type parameter's upper bound, suggests to use other qualifiers.

  opprop/immutability#9 · Filter by author xingweitian opened on Aug 18, 2019