sorbet-rails 0.7.32 → 0.7.34

data/spec/support/v7.0/.gitignore

@@ -0,0 +1,35 @@
+# See https://help.github.com/articles/ignoring-files for more about ignoring files.
+#
+# If you find yourself ignoring temporary files generated by your text editor
+# or operating system, you probably want to add a global ignore instead:
+#   git config --global core.excludesfile '~/.gitignore_global'
+
+# Ignore bundler config.
+/.bundle
+
+# Ignore the default SQLite database.
+/db/*.sqlite3
+/db/*.sqlite3-*
+
+# Ignore all logfiles and tempfiles.
+/log/*
+/tmp/*
+!/log/.keep
+!/tmp/.keep
+
+# Ignore pidfiles, but keep the directory.
+/tmp/pids/*
+!/tmp/pids/
+!/tmp/pids/.keep
+
+# Ignore uploaded files in development.
+/storage/*
+!/storage/.keep
+/tmp/storage/*
+!/tmp/storage/
+!/tmp/storage/.keep
+
+/public/assets
+
+# Ignore master key for decrypting credentials and more.
+/config/master.key

data/spec/support/v7.0/Gemfile

@@ -0,0 +1,48 @@
+source "https://rubygems.org"
+git_source(:github) { |repo| "https://github.com/#{repo}.git" }
+
+ruby "3.0.1"
+
+# Bundle edge Rails instead: gem "rails", github: "rails/rails", branch: "main"
+gem "rails", "~> 7.0.3"
+
+# Use sqlite3 as the database for Active Record
+gem "sqlite3", "~> 1.4"
+
+# Use the Puma web server [https://github.com/puma/puma]
+gem "puma", "~> 5.0"
+
+# Build JSON APIs with ease [https://github.com/rails/jbuilder]
+gem "jbuilder"
+
+# Use Kredis to get higher-level data types in Redis [https://github.com/rails/kredis]
+# gem "kredis"
+
+# Use Active Model has_secure_password [https://guides.rubyonrails.org/active_model_basics.html#securepassword]
+# gem "bcrypt", "~> 3.1.7"
+
+# Windows does not include zoneinfo files, so bundle the tzinfo-data gem
+gem "tzinfo-data", platforms: %i[ mingw mswin x64_mingw jruby ]
+
+# Use Active Storage variants [https://guides.rubyonrails.org/active_storage_overview.html#transforming-images]
+# gem "image_processing", "~> 1.2"
+
+group :development, :test do
+  # See https://guides.rubyonrails.org/debugging_rails_applications.html#debugging-with-the-debug-gem
+  gem "debug", platforms: %i[ mri mingw x64_mingw ]
+end
+
+group :development do
+  # Use console on exceptions pages [https://github.com/rails/web-console]
+  gem "web-console"
+
+  # Add speed badges [https://github.com/MiniProfiler/rack-mini-profiler]
+  # gem "rack-mini-profiler"
+
+  # Speed up commands on slow machines / big apps [https://github.com/rails/spring]
+  # gem "spring"
+end
+
+gem "sorbet-rails", path: "../../../."
+gem "sorbet"
+gem "sorbet-runtime"

data/spec/support/v7.0/Gemfile.lock

@@ -0,0 +1,218 @@
+PATH
+  remote: ../../..
+  specs:
+    sorbet-rails (0.7.33)
+      method_source (>= 0.9.2)
+      parlour (>= 4.0.1)
+      parser (>= 2.7)
+      sorbet-coerce (>= 0.2.6)
+      sorbet-runtime (>= 0.5.9892)
+
+GEM
+  remote: https://rubygems.org/
+  specs:
+    actioncable (7.0.3)
+      actionpack (= 7.0.3)
+      activesupport (= 7.0.3)
+      nio4r (~> 2.0)
+      websocket-driver (>= 0.6.1)
+    actionmailbox (7.0.3)
+      actionpack (= 7.0.3)
+      activejob (= 7.0.3)
+      activerecord (= 7.0.3)
+      activestorage (= 7.0.3)
+      activesupport (= 7.0.3)
+      mail (>= 2.7.1)
+      net-imap
+      net-pop
+      net-smtp
+    actionmailer (7.0.3)
+      actionpack (= 7.0.3)
+      actionview (= 7.0.3)
+      activejob (= 7.0.3)
+      activesupport (= 7.0.3)
+      mail (~> 2.5, >= 2.5.4)
+      net-imap
+      net-pop
+      net-smtp
+      rails-dom-testing (~> 2.0)
+    actionpack (7.0.3)
+      actionview (= 7.0.3)
+      activesupport (= 7.0.3)
+      rack (~> 2.0, >= 2.2.0)
+      rack-test (>= 0.6.3)
+      rails-dom-testing (~> 2.0)
+      rails-html-sanitizer (~> 1.0, >= 1.2.0)
+    actiontext (7.0.3)
+      actionpack (= 7.0.3)
+      activerecord (= 7.0.3)
+      activestorage (= 7.0.3)
+      activesupport (= 7.0.3)
+      globalid (>= 0.6.0)
+      nokogiri (>= 1.8.5)
+    actionview (7.0.3)
+      activesupport (= 7.0.3)
+      builder (~> 3.1)
+      erubi (~> 1.4)
+      rails-dom-testing (~> 2.0)
+      rails-html-sanitizer (~> 1.1, >= 1.2.0)
+    activejob (7.0.3)
+      activesupport (= 7.0.3)
+      globalid (>= 0.3.6)
+    activemodel (7.0.3)
+      activesupport (= 7.0.3)
+    activerecord (7.0.3)
+      activemodel (= 7.0.3)
+      activesupport (= 7.0.3)
+    activestorage (7.0.3)
+      actionpack (= 7.0.3)
+      activejob (= 7.0.3)
+      activerecord (= 7.0.3)
+      activesupport (= 7.0.3)
+      marcel (~> 1.0)
+      mini_mime (>= 1.1.0)
+    activesupport (7.0.3)
+      concurrent-ruby (~> 1.0, >= 1.0.2)
+      i18n (>= 1.6, < 2)
+      minitest (>= 5.1)
+      tzinfo (~> 2.0)
+    ast (2.4.2)
+    bindex (0.8.1)
+    builder (3.2.4)
+    commander (4.6.0)
+      highline (~> 2.0.0)
+    concurrent-ruby (1.1.10)
+    crass (1.0.6)
+    debug (1.5.0)
+      irb (>= 1.3.6)
+      reline (>= 0.2.7)
+    digest (3.1.0)
+    erubi (1.10.0)
+    globalid (1.0.0)
+      activesupport (>= 5.0)
+    highline (2.0.3)
+    i18n (1.10.0)
+      concurrent-ruby (~> 1.0)
+    io-console (0.5.11)
+    irb (1.4.1)
+      reline (>= 0.3.0)
+    jbuilder (2.11.5)
+      actionview (>= 5.0.0)
+      activesupport (>= 5.0.0)
+    loofah (2.18.0)
+      crass (~> 1.0.2)
+      nokogiri (>= 1.5.9)
+    mail (2.7.1)
+      mini_mime (>= 0.1.1)
+    marcel (1.0.2)
+    method_source (1.0.0)
+    mini_mime (1.1.2)
+    minitest (5.16.1)
+    net-imap (0.2.3)
+      digest
+      net-protocol
+      strscan
+    net-pop (0.1.1)
+      digest
+      net-protocol
+      timeout
+    net-protocol (0.1.3)
+      timeout
+    net-smtp (0.3.1)
+      digest
+      net-protocol
+      timeout
+    nio4r (2.5.8)
+    nokogiri (1.13.6-x86_64-darwin)
+      racc (~> 1.4)
+    parlour (8.0.0)
+      commander (~> 4.5)
+      parser
+      rainbow (~> 3.0)
+      sorbet-runtime (>= 0.5)
+    parser (3.1.2.0)
+      ast (~> 2.4.1)
+    polyfill (1.9.0)
+    puma (5.6.4)
+      nio4r (~> 2.0)
+    racc (1.6.0)
+    rack (2.2.4)
+    rack-test (2.0.2)
+      rack (>= 1.3)
+    rails (7.0.3)
+      actioncable (= 7.0.3)
+      actionmailbox (= 7.0.3)
+      actionmailer (= 7.0.3)
+      actionpack (= 7.0.3)
+      actiontext (= 7.0.3)
+      actionview (= 7.0.3)
+      activejob (= 7.0.3)
+      activemodel (= 7.0.3)
+      activerecord (= 7.0.3)
+      activestorage (= 7.0.3)
+      activesupport (= 7.0.3)
+      bundler (>= 1.15.0)
+      railties (= 7.0.3)
+    rails-dom-testing (2.0.3)
+      activesupport (>= 4.2.0)
+      nokogiri (>= 1.6)
+    rails-html-sanitizer (1.4.3)
+      loofah (~> 2.3)
+    railties (7.0.3)
+      actionpack (= 7.0.3)
+      activesupport (= 7.0.3)
+      method_source
+      rake (>= 12.2)
+      thor (~> 1.0)
+      zeitwerk (~> 2.5)
+    rainbow (3.1.1)
+    rake (13.0.6)
+    reline (0.3.1)
+      io-console (~> 0.5)
+    safe_type (1.1.1)
+    sorbet (0.5.10139)
+      sorbet-static (= 0.5.10139)
+    sorbet-coerce (0.5.0)
+      polyfill (~> 1.8)
+      safe_type (~> 1.1, >= 1.1.1)
+      sorbet-runtime (>= 0.4.4704)
+    sorbet-runtime (0.5.10139)
+    sorbet-static (0.5.10139-universal-darwin-20)
+    sorbet-static (0.5.10139-universal-darwin-21)
+    sqlite3 (1.4.4)
+    strscan (3.0.3)
+    thor (1.2.1)
+    timeout (0.3.0)
+    tzinfo (2.0.4)
+      concurrent-ruby (~> 1.0)
+    web-console (4.2.0)
+      actionview (>= 6.0.0)
+      activemodel (>= 6.0.0)
+      bindex (>= 0.4.0)
+      railties (>= 6.0.0)
+    websocket-driver (0.7.5)
+      websocket-extensions (>= 0.1.0)
+    websocket-extensions (0.1.5)
+    zeitwerk (2.6.0)
+
+PLATFORMS
+  x86_64-darwin-20
+  x86_64-darwin-21
+
+DEPENDENCIES
+  debug
+  jbuilder
+  puma (~> 5.0)
+  rails (~> 7.0.3)
+  sorbet
+  sorbet-rails!
+  sorbet-runtime
+  sqlite3 (~> 1.4)
+  tzinfo-data
+  web-console
+
+RUBY VERSION
+   ruby 3.0.1p64
+
+BUNDLED WITH
+   2.2.29

data/spec/support/v7.0/README.md

@@ -0,0 +1,24 @@
+# README
+
+This README would normally document whatever steps are necessary to get the
+application up and running.
+
+Things you may want to cover:
+
+* Ruby version
+
+* System dependencies
+
+* Configuration
+
+* Database creation
+
+* Database initialization
+
+* How to run the test suite
+
+* Services (job queues, cache servers, search engines, etc.)
+
+* Deployment instructions
+
+* ...

data/spec/support/v7.0/Rakefile

@@ -0,0 +1,6 @@
+# Add your own tasks in files placed in lib/tasks ending in .rake,
+# for example lib/tasks/capistrano.rake, and they will automatically be available to Rake.
+
+require_relative "config/application"
+
+Rails.application.load_tasks

data/spec/support/v7.0/app/assets/stylesheets/application.css

@@ -0,0 +1 @@
+/* Application styles */

data/spec/support/v7.0/app/controllers/application_controller.rb

@@ -0,0 +1,3 @@
+# typed: ignore
+class ApplicationController < ActionController::Base
+end

data/spec/support/v7.0/app/helpers/application_helper.rb

@@ -0,0 +1,3 @@
+# typed: strict
+module ApplicationHelper
+end

data/spec/support/v7.0/app/helpers/bar_helper.rb

@@ -0,0 +1,3 @@
+# typed: strict
+module BarHelper
+end

data/spec/support/v7.0/app/helpers/baz_helper.rb

@@ -0,0 +1,3 @@
+# typed: strict
+module BazHelper
+end

data/spec/support/v7.0/app/helpers/foo_helper.rb

@@ -0,0 +1,3 @@
+# typed: strict
+module FooHelper
+end

data/spec/support/v7.0/app/jobs/application_job.rb

@@ -0,0 +1,8 @@
+# typed: strict
+class ApplicationJob < ActiveJob::Base
+  # Automatically retry jobs that encountered a deadlock
+  # retry_on ActiveRecord::Deadlocked
+
+  # Most jobs are safe to ignore if the underlying records are no longer available
+  # discard_on ActiveJob::DeserializationError
+end

data/spec/support/v7.0/app/jobs/award_house_point_hourglasses.rb

@@ -0,0 +1,12 @@
+# typed: strict
+# N.B. You imagine the wizards update the point magically somehow?
+# Nope, there is a "goblin" that takes their "give points" request and do it
+# behind the scene.
+class AwardHousePointHourglasses < ApplicationJob
+  extend T::Sig
+
+  sig { params(student: Wizard, point: Integer).void }
+  def perform(student:, point:)
+    # TODO: award point to student's house
+  end
+end

data/spec/support/v7.0/app/mailers/application_mailer.rb

@@ -0,0 +1,5 @@
+# typed: ignore
+class ApplicationMailer < ActionMailer::Base
+  default from: "from@example.com"
+  layout "mailer"
+end

data/spec/support/v7.0/app/mailers/daily_prophet_mailer.rb

@@ -0,0 +1,9 @@
+# typed: ignore
+class DailyProphetMailer < ApplicationMailer
+  extend T::Sig
+
+  sig { params(wizards: T::Array[Wizard], hotnews_only: T::Boolean).void }
+  def notify_subscribers(wizards:, hotnews_only:)
+    # TODO: mail the latest news to wizards!
+  end
+end

data/spec/support/v7.0/app/mailers/hogwarts_acceptance_mailer.rb

@@ -0,0 +1,29 @@
+# typed: ignore
+class HogwartsAcceptanceMailer < ApplicationMailer
+  extend T::Sig
+
+  sig { params(student: Wizard).void }
+  def notify(student)
+    # TODO: mail acceptance letter to student
+  end
+
+  sig {
+    params(
+      teacher: Wizard,
+      note: String,
+      student: Wizard,
+      special: T::Boolean,
+    ).void
+  }
+  def notify_teacher(
+    teacher,
+    note=nil,
+    student:,
+    special: false
+  ) # TODO: let the teacher know when a students accepted offer
+  end
+
+  def notify_retry(student)
+    # TODO: send more owls!!
+  end
+end

data/spec/support/v7.0/app/models/application_record.rb

@@ -0,0 +1,4 @@
+# typed: false
+class ApplicationRecord < ActiveRecord::Base
+  primary_abstract_class
+end

data/spec/support/v7.0/app/models/concerns/mythical.rb

@@ -0,0 +1,11 @@
+# typed: false
+require 'active_support/concern'
+module Mythical
+  extend ActiveSupport::Concern
+
+  class_methods do
+    def mythicals
+      all.to_a # yeah!
+    end
+  end
+end

data/spec/support/v7.0/app/models/headmaster.rb

@@ -0,0 +1,8 @@
+# typed: strict
+class Headmaster < ApplicationRecord
+  belongs_to :school, required: false
+  belongs_to :wizard, optional: true
+
+  validates :school, presence: true
+  validates :wizard_id, presence: true
+end

data/spec/support/v7.0/app/models/potion.rb

@@ -0,0 +1,6 @@
+# typed: strict
+# an abstract class that has no table
+class Potion < ApplicationRecord
+  self.abstract_class = true
+  belongs_to :wizard, required: false
+end

data/spec/support/v7.0/app/models/robe.rb

@@ -0,0 +1,4 @@
+# typed: strict
+class Robe < ApplicationRecord
+  belongs_to :wizard, required: false
+end

data/spec/support/v7.0/app/models/school.rb

@@ -0,0 +1,5 @@
+# typed: strict
+class School < ApplicationRecord
+  has_one :headmaster
+  validates :headmaster, presence: true
+end

data/spec/support/v7.0/app/models/spell.rb

@@ -0,0 +1,5 @@
+# typed: strict
+class Spell < ApplicationRecord
+  # habtm enforced at the DB level
+  has_and_belongs_to_many :spell_books
+end

data/spec/support/v7.0/app/models/spell_book.rb

@@ -0,0 +1,18 @@
+# typed: false
+class SpellBook < ApplicationRecord
+  validates :name, length: { minimum: 5 }, presence: true
+
+  # simulate when belongs_to is optional by default, but it is enforced at the DB level
+  belongs_to :wizard, optional: true
+
+  # habtm enforced at the DB level
+  has_and_belongs_to_many :spells
+
+  enum book_type: {
+    unclassified: 0,
+    biology: 1,
+    dark_art: 999,
+  }
+
+  scope :recent, -> { where('created_at > ?', 1.month.ago) }
+end

data/spec/support/v7.0/app/models/squib.rb

@@ -0,0 +1,6 @@
+# typed: true
+class Squib < Wizard
+  def is_magical
+    false
+  end
+end

data/spec/support/v7.0/app/models/subject.rb

@@ -0,0 +1,5 @@
+# typed: strict
+class Subject < ApplicationRecord
+  # habtm which is optional at the db level
+  has_and_belongs_to_many :wizards
+end

data/spec/support/v7.0/app/models/wand.rb

@@ -0,0 +1,19 @@
+# typed: false
+class Wand < ApplicationRecord
+  include Mythical
+
+  self.skip_time_zone_conversion_for_attributes = [:broken_at]
+
+  enum core_type: {
+    phoenix_feather: 0,
+    dragon_heartstring: 1,
+    unicorn_tail_hair: 2,
+    basilisk_horn: 3,
+  }
+
+  belongs_to :wizard, required: true
+
+  def wood_type
+    'Type ' + super
+  end
+end

data/spec/support/v7.0/app/models/wizard.rb

@@ -0,0 +1,65 @@
+# typed: false
+class Wizard < ApplicationRecord
+  validates :name, length: { minimum: 5 }, presence: true
+  # simulate conditional validation
+  validates :parent_email, presence: true, if: :Slytherin?
+
+  typed_enum house: {
+    Gryffindor: 0,
+    Hufflepuff: 1,
+    Ravenclaw: 2,
+    Slytherin: 3,
+  }
+
+  # To create conflict with enum
+  class Professor; end
+
+  enum professor: {
+    "Severus Snape": 0,
+    "Minerva McGonagall": 1,
+    "Pomona Sprout": 2,
+    "Filius Flitwick": 3,
+    "Hagrid": 4,
+    "Alastor 'Mad-Eye' Moody": 5,
+  }
+
+  typed_enum broom: {
+    nimbus: 'nimbus',
+    firebolt: 'firebolt',
+  }, _prefix: true
+
+  typed_enum quidditch_position: {
+    keeper: 0,
+    seeker: 1,
+    beater: 2,
+    chaser: 3,
+  }, _prefix: :quidditch
+
+  enum hair_color: {
+    brown: 0,
+    black: 1,
+    blonde: 2,
+  }, _suffix: :hair
+
+  enum eye_color: {
+    brown: 0,
+    green: 1,
+    blue: 2,
+  }, _prefix: :color, _suffix: :eyes
+
+  serialize :owl_results, Hash
+  serialize :newt_subjects # no specific data type, uses the default YAML Object coder
+  serialize :pets, Array
+  serialize :patronus_characteristics, JSON
+
+  has_one :wand
+  has_many :spell_books
+  # habtm which is optional at the db level
+  has_and_belongs_to_many :subjects
+
+  # simulate when belongs_to is optional by default
+  belongs_to :school, optional: true
+
+  scope :recent, -> { where('created_at > ?', 1.month.ago) }
+  
+end

data/spec/support/v7.0/app/views/layouts/application.html.erb

@@ -0,0 +1,15 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <title>V70</title>
+    <meta name="viewport" content="width=device-width,initial-scale=1">
+    <%= csrf_meta_tags %>
+    <%= csp_meta_tag %>
+
+    <%= stylesheet_link_tag "application" %>
+  </head>
+
+  <body>
+    <%= yield %>
+  </body>
+</html>

data/spec/support/v7.0/app/views/layouts/mailer.html.erb

@@ -0,0 +1,13 @@
+<!DOCTYPE html>
+<html>
+  <head>
+    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
+    <style>
+      /* Email styles need to be inline */
+    </style>
+  </head>
+
+  <body>
+    <%= yield %>
+  </body>
+</html>

data/spec/support/v7.0/app/views/layouts/mailer.text.erb

@@ -0,0 +1 @@
+<%= yield %>