pub fn get_new_register_argument_under<T: ReadFromFS, A: ASTImplementation>(
    on: &VariableRegisterArguments,
    under: &PropertyKey<'_>,
    environment: &mut Environment<'_>,
    checking_data: &mut CheckingData<'_, T, A>,
    at: Span
) -> VariableRegisterArguments